Module rustc_borrowck::region_infer::opaque_types
source · Structs§
- 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.