Module opaque_types 

Modules

member_constraints 🔒

region_ctxt 🔒

Structs

DefiningUse 🔒

ToArgRegionsFolder 🔒

A folder to map the regions in the hidden type to their corresponding arg_regions.

Enums

DeferredOpaqueTypeError 🔒

We defer errors from [fn handle_opaque_type_uses] and only report them if there are no RegionErrors. If there are region errors, it’s likely that errors here are caused by them and don’t need to be handled separately.

Traits

InferCtxtExt

Functions

add_concrete_opaque_type 🔒

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.

apply_computed_concrete_opaque_types 🔒

This function is what actually applies member constraints to the borrowck state. It is also responsible to check all uses of the opaques in their defining scope.

clone_and_resolve_opaque_types 🔒

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

collect_defining_uses 🔒

compute_concrete_opaque_types 🔒

This computes the actual hidden types of the opaque types and maps them to their definition sites. Outside of registering the computed concrete types this function does not mutate the current borrowck state.

compute_concrete_types_from_defining_uses 🔒

detect_opaque_types_added_while_handling_opaque_types 🔒

In theory apply_concrete_opaque_types could introduce new uses of opaque types. We do not check these new uses so this could be unsound.

get_concrete_opaque_type 🔒

nll_var_to_universal_region 🔒

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