Module rustc_next_trait_solver::solve::normalizes_to::opaque_types

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

• NotUniqueParam

Functions

• uses_unique_placeholders_ignoring_regions
  Checks whether each generic argument is simply a unique generic placeholder.