Module rustc_trait_selection::source ·
Code shared by trait and projection goals for candidate assembly.
- A candidate is a possible way to prove a goal.
- Possible ways the given goal can be proven.
- GoalKind 🔒Methods used to assemble candidates for either trait or projection goals.