pub(crate) fn renumber_mir<'tcx>(
infcx: &BorrowckInferCtxt<'tcx>,
body: &mut Body<'tcx>,
promoted: &mut IndexSlice<Promoted, Body<'tcx>>,
)
Expand description
Replaces all free regions appearing in the MIR with fresh inference variables, returning the number of variables created.