Module rustc_next_trait_solver::solve::normalizes_to::inherent
source ยท Expand description
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:
- instantiate generic parameters,
- equate the self type, and
- instantiate and register where clauses.