]> git.lizzy.rs Git - rust.git/commit
Make all predicates higher-ranked, not just trait references.
authorNiko Matsakis <niko@alum.mit.edu>
Sat, 13 Dec 2014 10:34:34 +0000 (05:34 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Fri, 19 Dec 2014 08:29:30 +0000 (03:29 -0500)
commitc2ca1a4b622baa8394ab19e76bef75afe680ad18
tree36c99b122520b43781316f7f7572c5af94aae485
parent4f34524fcbd9672e2fd6bb27e657da2c26051fdf
Make all predicates higher-ranked, not just trait references.
12 files changed:
src/librustc/metadata/tydecode.rs
src/librustc/metadata/tyencode.rs
src/librustc/middle/infer/higher_ranked/mod.rs
src/librustc/middle/infer/mod.rs
src/librustc/middle/traits/fulfill.rs
src/librustc/middle/traits/select.rs
src/librustc/middle/ty.rs
src/librustc/middle/ty_fold.rs
src/librustc/util/ppaux.rs
src/librustc_typeck/check/vtable.rs
src/librustc_typeck/collect.rs
src/libsyntax/visit.rs