Module rustc_trait_selection::solve::inspect::analyse

Structs

• InspectCandidate
• InspectGoal

Traits

• ProofTreeInferCtxtExt
• ProofTreeVisitor
  The public API to interact with proof trees.