Module rustc_trait_selection::solve::normalizes_to::inherent

source ·
Expand description

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:

  1. instantiate generic parameters,
  2. equate the self type, and
  3. instantiate and register where clauses.