]> git.lizzy.rs Git - rust.git/commit
remove occurences of `skolemization`
authorNiko Matsakis <niko@alum.mit.edu>
Wed, 3 Oct 2018 00:09:32 +0000 (20:09 -0400)
committerNiko Matsakis <niko@alum.mit.edu>
Thu, 4 Oct 2018 15:02:40 +0000 (11:02 -0400)
commit068a6a256c070491a1b79f7d64b151864e3c62e5
tree2c0ff1df1b7fd99ac9a2221fd3ee531c32d9b31b
parent21aaaac29b5f0d009a0a136bdf3e6534d9f1c846
remove occurences of `skolemization`
src/librustc/infer/higher_ranked/README.md
src/librustc/infer/higher_ranked/mod.rs
src/librustc/traits/select.rs
src/librustc/ty/mod.rs
src/librustc/ty/sty.rs