rustc_next_trait_solver::solve

Module normalizes_to

Source

Modules§

  • anon_const 🔒
  • inherent 🔒
    Computes a normalizes-to (projection) goal for inherent associated types, #![feature(inherent_associated_type)]. Since HIR ty lowering 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 current TypingMode.
  • weak_types 🔒
    Computes a normalizes-to (projection) goal for inherent associated types, #![feature(lazy_type_alias)] and #![feature(type_alias_impl_trait)].