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.