From a38eae59424c235178e11e880452af178ecbc6bd Mon Sep 17 00:00:00 2001 From: mark Date: Mon, 6 Apr 2020 21:22:36 -0500 Subject: [PATCH] fix ice with trait obj dummy self --- src/librustc_typeck/variance/constraints.rs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/librustc_typeck/variance/constraints.rs b/src/librustc_typeck/variance/constraints.rs index 9df1311b2b53..afa6e49a05cf 100644 --- a/src/librustc_typeck/variance/constraints.rs +++ b/src/librustc_typeck/variance/constraints.rs @@ -315,11 +315,9 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> { 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, ); }