rustc_next_trait_solver::solve::normalizes_to

Module 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§