Module rustc_trait_selection::solve::normalizes_to

Modules

• anon_const 🔒
• inherent 🔒
  Computes a normalizes-to (projection) goal for inherent associated types, #![feature(inherent_associated_type)]. Since astconv already determines which impl the IAT is being projected from, we just:
• opaque_types 🔒
  Computes a normalizes-to (projection) goal for opaque types. This goal behaves differently depending on the param-env’s reveal mode and whether the opaque is in a defining scope.
• weak_types 🔒
  Computes a normalizes-to (projection) goal for inherent associated types, #![feature(lazy_type_alias)] and #![feature(type_alias_impl_trait)].

Functions

• fetch_eligible_assoc_item_def 🔒
  This behavior is also implemented in rustc_ty_utils and in the old project code.