Expand description
Computes a normalizes-to (projection) goal for opaque types. This goal
behaves differently depending on the current TypingMode
.
Enumsยง
- NotUnique
Param ๐
Functionsยง
- uses_
unique_ ๐placeholders_ ignoring_ regions - Checks whether each generic argument is simply a unique generic placeholder.