Module rustc_trait_selection::solve::normalizes_to::opaque_types
source · Expand description
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.