Module rustc_infer::traits::project

source ·
Expand description

Code for projecting associated types out of trait references.



  • The result of trait evaluation. The order is important here as the evaluation of a list is the maximum of the evaluations.
  • Depending on the stage of compilation, we want projection to be more or less conservative.

Type Aliases§