rename `Predicate` to `PredicateKind`, introduce alias

[rust.git] / src / librustc_middle / ty / sty.rs

diff --git a/src/librustc_middle/ty/sty.rs b/src/librustc_middle/ty/sty.rs
index 2ad673b2c194379cc77d6a532287b61b0e5be3d1..8962b243911b292ac6cee61d222857113d2d06b3 100644 (file)
--- a/src/librustc_middle/ty/sty.rs
+++ b/src/librustc_middle/ty/sty.rs
@@ -615,7 +615,7 @@ pub fn with_self_ty(&self, tcx: TyCtxt<'tcx>, self_ty: Ty<'tcx>) -> ty::Predicat
                 Binder(tr).with_self_ty(tcx, self_ty).without_const().to_predicate()
             }
             ExistentialPredicate::Projection(p) => {
-                ty::Predicate::Projection(Binder(p.with_self_ty(tcx, self_ty)))
+                ty::PredicateKind::Projection(Binder(p.with_self_ty(tcx, self_ty)))
             }
             ExistentialPredicate::AutoTrait(did) => {
                 let trait_ref =