fix ice with trait obj dummy self

diff --git a/src/librustc_typeck/variance/constraints.rs b/src/librustc_typeck/variance/constraints.rs
index 9df1311b2b53bb896595751e8345c626eb2abb2e..afa6e49a05cf1abecd304609fc6ffab0cb372aa4 100644 (file)
--- a/src/librustc_typeck/variance/constraints.rs
+++ b/src/librustc_typeck/variance/constraints.rs
@@ -315,11 +315,9 @@ fn add_constraints_from_ty(
                 self.add_constraints_from_region(current, r, contra);
 
                 if let Some(poly_trait_ref) = data.principal() {
-                    let poly_trait_ref = poly_trait_ref
-                        .with_self_ty(self.tcx(), self.tcx().types.trait_object_dummy_self);
-                    self.add_constraints_from_trait_ref(
+                    self.add_constraints_from_invariant_substs(
                         current,
-                        *poly_trait_ref.skip_binder(),
+                        poly_trait_ref.skip_binder().substs,
                         variance,
                     );
                 }