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:
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.
Computes a normalizes-to (projection) goal for inherent associated types,
#![feature(lazy_type_alias)]
and #![feature(type_alias_impl_trait)]
.