Don't super fold const in Resolver

compiler-errors · compiler-errors · commit d588bc2a2b49 · 2025-03-23T18:18:47.000Z
diff --git a/compiler/rustc_hir_typeck/src/writeback.rs b/compiler/rustc_hir_typeck/src/writeback.rs
@@ -864,10 +864,7 @@ impl<'cx, 'tcx> TypeFolder<TyCtxt<'tcx>> for Resolver<'cx, 'tcx> {
     }
 
     fn fold_const(&mut self, ct: ty::Const<'tcx>) -> ty::Const<'tcx> {
-        self.handle_term(ct, ty::Const::outer_exclusive_binder, |tcx, guar| {
-            ty::Const::new_error(tcx, guar)
-        })
-        .super_fold_with(self)
+        self.handle_term(ct, ty::Const::outer_exclusive_binder, ty::Const::new_error)
     }
 
     fn fold_predicate(&mut self, predicate: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {

Original file line number	Diff line number	Diff line change
`@@ -864,10 +864,7 @@ impl<'cx, 'tcx> TypeFolder<TyCtxt<'tcx>> for Resolver<'cx, 'tcx> {`
`864`	`864`	`}`
`865`	`865`
`866`	`866`	`fn fold_const(&mut self, ct: ty::Const<'tcx>) -> ty::Const<'tcx> {`
`867`		`- self.handle_term(ct, ty::Const::outer_exclusive_binder, \|tcx, guar\| {`
`868`		`- ty::Const::new_error(tcx, guar)`
`869`		`- })`
`870`		`- .super_fold_with(self)`
	`867`	`+ self.handle_term(ct, ty::Const::outer_exclusive_binder, ty::Const::new_error)`
`871`	`868`	`}`
`872`	`869`
`873`	`870`	`fn fold_predicate(&mut self, predicate: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {`