Function rustc_borrowck::renumber::renumber_mir
source · pub 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.