clone_and_resolve_opaque_types

rustc_borrowck::region_infer::opaque_types

Function clone_and_resolve_opaque_types 

Source 
pub(crate) fn clone_and_resolve_opaque_types<'tcx>(
    infcx: &BorrowckInferCtxt<'tcx>,
    universal_region_relations: &Frozen<UniversalRegionRelations<'tcx>>,
    constraints: &mut MirTypeckRegionConstraints<'tcx>,
) -> (OpaqueTypeStorageEntries, Vec<(OpaqueTypeKey<'tcx>, ProvisionalHiddenType<'tcx>)>)
Expand description

We eagerly map all regions to NLL vars here, as we need to make sure we’ve introduced nll vars for all used placeholders.

We need to resolve inference vars as even though we’re in MIR typeck, we may still encounter inference variables, e.g. when checking user types.