Fast path fold_predicate in old canonicalizer

compiler-errors · compiler-errors · commit 84a3255cc309 · 2025-05-25T14:12:17.000Z
diff --git a/compiler/rustc_infer/src/infer/canonical/canonicalizer.rs b/compiler/rustc_infer/src/infer/canonical/canonicalizer.rs
@@ -493,6 +493,10 @@ impl<'cx, 'tcx> TypeFolder<TyCtxt<'tcx>> for Canonicalizer<'cx, 'tcx> {
             ct
         }
     }
+
+    fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {
+        if p.flags().intersects(self.needs_canonical_flags) { p.super_fold_with(self) } else { p }
+    }
 }
 
 impl<'cx, 'tcx> Canonicalizer<'cx, 'tcx> {

Original file line number	Diff line number	Diff line change
`@@ -493,6 +493,10 @@ impl<'cx, 'tcx> TypeFolder<TyCtxt<'tcx>> for Canonicalizer<'cx, 'tcx> {`
`493`	`493`	`ct`
`494`	`494`	`}`
`495`	`495`	`}`
	`496`	`+`
	`497`	`+ fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {`
	`498`	`+ if p.flags().intersects(self.needs_canonical_flags) { p.super_fold_with(self) } else { p }`
	`499`	`+ }`
`496`	`500`	`}`
`497`	`501`
`498`	`502`	`impl<'cx, 'tcx> Canonicalizer<'cx, 'tcx> {`