Fast path fold_predicate in old canonicalizer

compiler-errors · compiler-errors · commit 534a5d1f7edc · 2025-05-24T17:24:55.000Z
diff --git a/compiler/rustc_infer/src/infer/canonical/canonicalizer.rs b/compiler/rustc_infer/src/infer/canonical/canonicalizer.rs
@@ -515,6 +515,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
`@@ -515,6 +515,10 @@ impl<'cx, 'tcx> TypeFolder<TyCtxt<'tcx>> for Canonicalizer<'cx, 'tcx> {`
`515`	`515`	`ct`
`516`	`516`	`}`
`517`	`517`	`}`
	`518`	`+`
	`519`	`+ fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {`
	`520`	`+ if p.flags().intersects(self.needs_canonical_flags) { p.super_fold_with(self) } else { p }`
	`521`	`+ }`
`518`	`522`	`}`
`519`	`523`
`520`	`524`	`impl<'cx, 'tcx> Canonicalizer<'cx, 'tcx> {`