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

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.

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.

handle_opaque_type_uses 🔒

This looks at all uses of opaque types in their defining scope inside of this function.

nll_var_to_universal_region 🔒

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