Structs§
- Lazy
Opaque 🔒TyEnv - 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§
Functions§
- check_
opaque_ 🔒type_ parameter_ valid - Opaque type parameter validity check as documented in the rustc-dev-guide chapter.