Module rustc_borrowck::region_infer::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.

Traits

• InferCtxtExt

Functions

• check_opaque_type_parameter_valid 🔒
  Opaque type parameter validity check as documented in the rustc-dev-guide chapter.
• check_opaque_type_well_formed 🔒
  This logic duplicates most of check_opaque_meets_bounds. FIXME(oli-obk): Also do region checks here and then consider removing check_opaque_meets_bounds entirely.