Module rustc_trait_selection::solve::assembly

Code shared by trait and projection goals for candidate assembly.

Modules

• structural_traits 🔒

Structs

• Candidate 🔒
  A candidate is a possible way to prove a goal.

Enums

• CandidateSource 🔒
  Possible ways the given goal can be proven.

Traits

• GoalKind 🔒
  Methods used to assemble candidates for either trait or projection goals.