Module rustc_trait_selection::solve::assembly

source ·
Expand description

Code shared by trait and projection goals for candidate assembly.

Modules

Structs

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

Enums

  • BuiltinImplSource 🔒
    Records additional information about what kind of built-in impl this is. This should only be used by selection.
  • CandidateSource 🔒
    Possible ways the given goal can be proven.

Traits

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