Module rustc_next_trait_solver::solve::eval_ctxt

source ยท

Modulesยง

  • canonical ๐Ÿ”’
    Canonicalization is used to separate some goal from its context, throwing away unnecessary information in the process.
  • probe ๐Ÿ”’

Structsยง

  • NestedGoals ๐Ÿ”’
  • Eagerly replace aliases with inference variables, emitting AliasRelate goals, used when adding goals to the EvalCtxt. We compute the AliasRelate goals before evaluating the actual goal to get all the constraints we can.

Enumsยง

Traitsยง