]> git.lizzy.rs Git - rust.git/commit
remove all occurences of `skolemize`
authorNiko Matsakis <niko@alum.mit.edu>
Tue, 2 Oct 2018 20:50:20 +0000 (16:50 -0400)
committerNiko Matsakis <niko@alum.mit.edu>
Thu, 4 Oct 2018 15:02:40 +0000 (11:02 -0400)
commit21aaaac29b5f0d009a0a136bdf3e6534d9f1c846
tree729fd197cd5b1195bebb3d35491eba4a2bff4d16
parentcdb95b0f215fb3590dc86223712b5bbcf126582f
remove all occurences of `skolemize`
src/librustc/infer/higher_ranked/README.md
src/librustc/infer/higher_ranked/mod.rs
src/librustc/traits/select.rs
src/librustc/ty/sty.rs