Module rustc_trait_selection::traits::solve::inspect

Structs

• AddedGoalsEvaluation
• CanonicalGoalEvaluation
• GoalEvaluation
• GoalEvaluationStep
• Probe
  A self-contained computation during trait solving. This either corresponds to a EvalCtxt::probe(_X) call or the root evaluation of a goal.

Enums

• CacheHit
• CanonicalGoalEvaluationKind
• GoalEvaluationKind
• ProbeKind
• ProbeStep