make FRTs invariant

BennoLossin · BennoLossin · commit c7f0d9519660 · 2025-10-02T15:38:55.000+02:00
diff --git a/compiler/rustc_hir_analysis/src/variance/constraints.rs b/compiler/rustc_hir_analysis/src/variance/constraints.rs
@@ -274,7 +274,8 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> {
             }
 
             ty::Field(ty, _) => {
-                self.add_constraints_from_ty(current, ty, variance);
+                let invar = self.invariant(variance);
+                self.add_constraints_from_ty(current, ty, invar);
             }
 
             ty::Alias(ty::Projection | ty::Inherent | ty::Opaque, ref data) => {

Original file line number	Diff line number	Diff line change
`@@ -274,7 +274,8 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> {`
`274`	`274`	`}`
`275`	`275`
`276`	`276`	`ty::Field(ty, _) => {`
`277`		`- self.add_constraints_from_ty(current, ty, variance);`
	`277`	`+ let invar = self.invariant(variance);`
	`278`	`+ self.add_constraints_from_ty(current, ty, invar);`
`278`	`279`	`}`
`279`	`280`
`280`	`281`	`ty::Alias(ty::Projection \| ty::Inherent \| ty::Opaque, ref data) => {`