Function rustc_borrowck::nll::compute_regions

source ·
pub(crate) fn compute_regions<'cx, 'tcx>(
    infcx: &BorrowckInferCtxt<'_, 'tcx>,
    universal_regions: UniversalRegions<'tcx>,
    body: &Body<'tcx>,
    promoted: &IndexSlice<Promoted, Body<'tcx>>,
    location_table: &LocationTable,
    param_env: ParamEnv<'tcx>,
    flow_inits: &mut ResultsCursor<'cx, 'tcx, MaybeInitializedPlaces<'cx, 'tcx>>,
    move_data: &MoveData<'tcx>,
    borrow_set: &BorrowSet<'tcx>,
    upvars: &[&CapturedPlace<'tcx>],
    consumer_options: Option<ConsumerOptions>
) -> NllOutput<'tcx>
Expand description

Computes the (non-lexical) regions from the input MIR.

This may result in errors being reported.