Module opaque_types 

Structs

LazyOpaqueTyEnv 🔒

Computes if an opaque type requires a lifetime parameter to be equal to another one or to the 'static lifetime. These requirements are derived from the explicit and implied bounds.

Enums

NonDefiningUseReason

Functions

opaque_type_has_defining_use_args

Opaque type parameter validity check as documented in the rustc-dev-guide chapter. With the new solver, uses which fail this check are simply treated as non-defining and we only emit an error if no defining use exists.

report_item_does_not_constrain_error