Module rustc_next_trait_solver::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.
Enums§
Functions§
- Checks whether each generic argument is simply a unique generic placeholder.