add_hidden_type in rustc_borrowck::region_infer::opaque_types - Rust
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.

Skip to main content

## add_hidden_type

# 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.