Module rustc_borrowck::region_infer::opaque_types

Traits

• InferCtxtExt

Functions

• check_opaque_type_parameter_valid 🔒
• 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.