Module rustc_next_trait_solver::solve::normalizes_to::weak_types
source ยท Expand description
Computes a normalizes-to (projection) goal for inherent associated types,
#![feature(lazy_type_alias)]
and #![feature(type_alias_impl_trait)]
.
Since a weak alias is never ambiguous, this just computes the type_of
of
the alias and registers the where-clauses of the type alias.