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

InvalidOpaqueTypeArgs

Functions

check_opaque_type_parameter_valid

Opaque type parameter validity check as documented in the rustc-dev-guide chapter.