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

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