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