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.