Module rustc_next_trait_solver::solve::normalizes_to::weak_types

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.