directly contain `PredicateAtom` in `PredicateKind::ForAll`

[rust.git] / src / librustc_infer / infer / canonical / query_response.rs

diff --git a/src/librustc_infer/infer/canonical/query_response.rs b/src/librustc_infer/infer/canonical/query_response.rs
index 8406eb9bc175bd7519e8f55d7e6762ebbfb4a6c3..0dbebac7e36c68578c578b734c08fddf7a6593f5 100644 (file)
--- a/src/librustc_infer/infer/canonical/query_response.rs
+++ b/src/librustc_infer/infer/canonical/query_response.rs
@@ -531,11 +531,9 @@ fn query_outlives_constraints_into_obligations<'a>(
             let predicate = match k1.unpack() {
                 GenericArgKind::Lifetime(r1) => {
                     ty::PredicateAtom::RegionOutlives(ty::OutlivesPredicate(r1, r2))
-                        .to_predicate(self.tcx)
                 }
                 GenericArgKind::Type(t1) => {
                     ty::PredicateAtom::TypeOutlives(ty::OutlivesPredicate(t1, r2))
-                        .to_predicate(self.tcx)
                 }
                 GenericArgKind::Const(..) => {
                     // Consts cannot outlive one another, so we don't expect to