Inform RegionRenumberer that it preserves MIR CFG.

cjgillot · cjgillot · commit fdeaf2436633 · 2025-06-16T12:32:55.000Z
diff --git a/compiler/rustc_borrowck/src/renumber.rs b/compiler/rustc_borrowck/src/renumber.rs
@@ -21,10 +21,10 @@ pub(crate) fn renumber_mir<'tcx>(
     let mut renumberer = RegionRenumberer { infcx };
 
     for body in promoted.iter_mut() {
-        renumberer.visit_body(body);
+        renumberer.visit_body_preserves_cfg(body);
     }
 
-    renumberer.visit_body(body);
+    renumberer.visit_body_preserves_cfg(body);
 }
 
 // The fields are used only for debugging output in `sccs_info`.

Original file line number	Diff line number	Diff line change
`@@ -21,10 +21,10 @@ pub(crate) fn renumber_mir<'tcx>(`
`21`	`21`	`let mut renumberer = RegionRenumberer { infcx };`
`22`	`22`
`23`	`23`	`for body in promoted.iter_mut() {`
`24`		`- renumberer.visit_body(body);`
	`24`	`+ renumberer.visit_body_preserves_cfg(body);`
`25`	`25`	`}`
`26`	`26`
`27`		`- renumberer.visit_body(body);`
	`27`	`+ renumberer.visit_body_preserves_cfg(body);`
`28`	`28`	`}`
`29`	`29`
`30`	`30`	// The fields are used only for debugging output in `sccs_info`.