rustc_borrowck::renumber

Function renumber_mir

source
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.