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ยง
- Opaque type parameter validity check as documented in the rustc-dev-guide chapter.
- This logic duplicates most of
check_opaque_meets_bounds
. FIXME(oli-obk): Also do region checks here and then consider removingcheck_opaque_meets_bounds
entirely.