Module opaque_types

rustc_next_trait_solver::solve::normalizes_to

Module opaque_types 

Source
Expand description

Computes a normalizes-to (projection) goal for opaque types. This goal behaves differently depending on the current TypingMode.