/// Rewrites the regions in the MIR to use NLL variables, also
/// scraping out the set of universal regions (e.g., region parameters)
/// declared on the function. That set will need to be given to
/// `compute_regions`.
Rewrites the regions in the MIR to use NLL variables, also
scraping out the set of universal regions
declared on the function. That set will need to be given to
`compute_regions`.
Rewrites the regions in the MIR to use NLL variables also scraping out the set of universal regions declared on the function . That set will need to be given to ` compute_regions ` .
pub(in borrow_check) fn replace_regions_in_mir<'cx, 'gcx, 'tcx>(
    infcx: &InferCtxt<'cx, 'gcx, 'tcx>,
    def_id: DefId,
    param_env: ty::ParamEnv<'tcx>,
    mir: &mut Mir<'tcx>,
) -> UniversalRegions<'tcx> {
    debug!("replace_regions_in_mir(def_id={:?})", def_id);
    // Compute named region information. This also renumbers the inputs/outputs.
    let universal_regions = UniversalRegions::new(infcx, def_id, param_env);
    // Replace all remaining regions with fresh inference variables.
    renumber::renumber_mir(infcx, mir);
    let source = MirSource::item(def_id);
    mir_util::dump_mir(infcx.tcx, None, "renumber", &0, source, mir, |_, _| Ok(()));
    universal_regions
}
pub ( in borrow_check ) fn replace_regions_in_mir < ' cx , ' gcx , ' tcx > ( infcx : & InferCtxt < ' cx , ' gcx , ' tcx > , def_id : DefId , param_env : ty :: ParamEnv < ' tcx > , mir : & mut Mir < ' tcx > , ) -> UniversalRegions < ' tcx > { debug ! ( " " def_id ) ; // Compute named region information. This also renumbers the inputs/outputs. let universal_regions = UniversalRegions :: new ( infcx , def_id , param_env ) ; // Replace all remaining regions with fresh inference variables. renumber :: renumber_mir ( infcx , mir ) ; let source = MirSource :: item ( def_id ) ; mir_util :: dump_mir ( infcx . tcx , None , " " , & 0 , source , mir , | _ , _ | Ok ( ( ) ) ) ; universal_regions }
Rewrites the regions in the MIR to use NLL variables, also
scraping out the set of universal regions (e.g., region parameters)
declared on the function.
Rewrites the regions in the MIR to use NLL variables also scraping out the set of universal regions ( e . g . region parameters ) declared on the function .
infcx
&InferCtxt<'cx, 'gcx, 'tcx>
def_id
DefId
param_env
ty::ParamEnv<'tcx>
mir
&mut Mir<'tcx>