never leak check

BoxyUwU · BoxyUwU · commit aeec7db61c05 · 2025-11-01T00:54:30.000Z
diff --git a/compiler/rustc_hir_typeck/src/coercion.rs b/compiler/rustc_hir_typeck/src/coercion.rs
@@ -170,7 +170,7 @@ impl<'f, 'tcx> Coerce<'f, 'tcx> {
             // FIXME: Ideally the actual `eq/sub/lub` would handle leak checks
             // themselves whenever a binder is entered.
             if leak_check || self.use_lub {
-                self.leak_check(outer_universe, Some(snapshot))?;
+                // self.leak_check(outer_universe, Some(snapshot))?;
             }
 
             res

Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,7 @@ impl<'f, 'tcx> Coerce<'f, 'tcx> {`
`170`	`170`	// FIXME: Ideally the actual `eq/sub/lub` would handle leak checks
`171`	`171`	`// themselves whenever a binder is entered.`
`172`	`172`	`if leak_check \|\| self.use_lub {`
`173`		`- self.leak_check(outer_universe, Some(snapshot))?;`
	`173`	`+ // self.leak_check(outer_universe, Some(snapshot))?;`
`174`	`174`	`}`
`175`	`175`
`176`	`176`	`res`