add_hidden_type

rustc_borrowck::region_infer::opaque_types

Function add_hidden_type 

Source 
fn add_hidden_type<'tcx>(
    tcx: TyCtxt<'tcx>,
    hidden_types: &mut FxIndexMap<LocalDefId, DefinitionSiteHiddenType<'tcx>>,
    def_id: LocalDefId,
    hidden_ty: DefinitionSiteHiddenType<'tcx>,
)
Expand description

Collect all defining uses of opaque types inside of this typeck root. This expects the hidden type to be mapped to the definition parameters of the opaque and errors if we end up with distinct hidden types.