Function rustc_mir::borrow_check::renumber::renumber_mir

pub fn renumber_mir<'tcx>(
    infcx: &InferCtxt<'_, 'tcx>, 
    body: &mut Body<'tcx>, 
    promoted: &mut IndexVec<Promoted, Body<'tcx>>
)

Replaces all free regions appearing in the MIR with fresh inference variables, returning the number of variables created.