introduce PredicateAtom

[rust.git] / src / librustc_traits / type_op.rs

diff --git a/src/librustc_traits/type_op.rs b/src/librustc_traits/type_op.rs
index 9cc9a35b38b8adfb5b9293cb89f147cdb8197214..139ed6dcd350c8b616b936b0599f8fbbab049dd9 100644 (file)
--- a/src/librustc_traits/type_op.rs
+++ b/src/librustc_traits/type_op.rs
@@ -140,7 +140,7 @@ fn relate_mir_and_user_ty(
             self.relate(self_ty, Variance::Invariant, impl_self_ty)?;
 
             self.prove_predicate(
-                ty::PredicateKind::WellFormed(impl_self_ty.into()).to_predicate(self.tcx()),
+                ty::PredicateAtom::WellFormed(impl_self_ty.into()).to_predicate(self.tcx()),
             );
         }
 
@@ -155,7 +155,7 @@ fn relate_mir_and_user_ty(
         // them?  This would only be relevant if some input
         // type were ill-formed but did not appear in `ty`,
         // which...could happen with normalization...
-        self.prove_predicate(ty::PredicateKind::WellFormed(ty.into()).to_predicate(self.tcx()));
+        self.prove_predicate(ty::PredicateAtom::WellFormed(ty.into()).to_predicate(self.tcx()));
         Ok(())
     }
 }