Module opaque_types

Source

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.

Traits§

InferCtxtExt

Functions§

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