nll_var_to_universal_region

rustc_borrowck::region_infer::opaque_types

Function nll_var_to_universal_region 

Source 
fn nll_var_to_universal_region<'tcx>(
    rcx: &RegionCtxt<'_, 'tcx>,
    r: RegionVid,
) -> Option<Region<'tcx>>
Expand description

Maps an NLL var to a deterministically chosen equal universal region.

See the corresponding rustc-dev-guide chapter for more details. This ignores changes to the region values due to member constraints. Applying member constraints does not impact the result of this function.