introduce PredicateAtom

[rust.git] / src / librustc_infer / infer / sub.rs

diff --git a/src/librustc_infer/infer/sub.rs b/src/librustc_infer/infer/sub.rs
index d190f7e434298996252818144e695e96fcc61d75..4f860c77d6541c068e31aface4ae6da3e056761b 100644 (file)
--- a/src/librustc_infer/infer/sub.rs
+++ b/src/librustc_infer/infer/sub.rs
@@ -100,11 +100,11 @@ fn tys(&mut self, a: Ty<'tcx>, b: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>> {
                 self.fields.obligations.push(Obligation::new(
                     self.fields.trace.cause.clone(),
                     self.fields.param_env,
-                    ty::PredicateKind::Subtype(ty::Binder::dummy(ty::SubtypePredicate {
+                    ty::PredicateAtom::Subtype(ty::SubtypePredicate {
                         a_is_expected: self.a_is_expected,
                         a,
                         b,
-                    }))
+                    })
                     .to_predicate(self.tcx()),
                 ));