Account for type flags in fold_predicate in OpportunisticVarResolver

compiler-errors · compiler-errors · commit 9caa7f5dfdb3 · 2025-04-02T23:39:50.000Z
diff --git a/compiler/rustc_infer/src/infer/resolve.rs b/compiler/rustc_infer/src/infer/resolve.rs
@@ -56,6 +56,10 @@ impl<'a, 'tcx> TypeFolder<TyCtxt<'tcx>> for OpportunisticVarResolver<'a, 'tcx> {
             ct.super_fold_with(self)
         }
     }
+
+    fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {
+        if !p.has_non_region_infer() { p } else { p.super_fold_with(self) }
+    }
 }
 
 /// The opportunistic region resolver opportunistically resolves regions

Original file line number	Diff line number	Diff line change
`@@ -56,6 +56,10 @@ impl<'a, 'tcx> TypeFolder<TyCtxt<'tcx>> for OpportunisticVarResolver<'a, 'tcx> {`
`56`	`56`	`ct.super_fold_with(self)`
`57`	`57`	`}`
`58`	`58`	`}`
	`59`	`+`
	`60`	`+ fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {`
	`61`	`+ if !p.has_non_region_infer() { p } else { p.super_fold_with(self) }`
	`62`	`+ }`
`59`	`63`	`}`
`60`	`64`
`61`	`65`	`/// The opportunistic region resolver opportunistically resolves regions`