Account for TypeFlags in OpportunisticRegionResolver

compiler-errors · compiler-errors · commit 47eef0ea3381 · 2025-04-02T23:39:31.000Z
diff --git a/compiler/rustc_infer/src/infer/resolve.rs b/compiler/rustc_infer/src/infer/resolve.rs
@@ -107,6 +107,10 @@ impl<'a, 'tcx> TypeFolder<TyCtxt<'tcx>> for OpportunisticRegionResolver<'a, 'tcx
             ct.super_fold_with(self)
         }
     }
+
+    fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {
+        if !p.has_infer_regions() { p } else { p.super_fold_with(self) }
+    }
 }
 
 ///////////////////////////////////////////////////////////////////////////

Original file line number	Diff line number	Diff line change
`@@ -107,6 +107,10 @@ impl<'a, 'tcx> TypeFolder<TyCtxt<'tcx>> for OpportunisticRegionResolver<'a, 'tcx`
`107`	`107`	`ct.super_fold_with(self)`
`108`	`108`	`}`
`109`	`109`	`}`
	`110`	`+`
	`111`	`+ fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {`
	`112`	`+ if !p.has_infer_regions() { p } else { p.super_fold_with(self) }`
	`113`	`+ }`
`110`	`114`	`}`
`111`	`115`
`112`	`116`	`///////////////////////////////////////////////////////////////////////////`