Expand description
Code shared by trait and projection goals for candidate assembly.
Modules§
- Code which is used by built-in goals that match “structurally”, such a auto traits,
Copy
/Clone
.
Structs§
- A candidate is a possible way to prove a goal.
Traits§
- Goal
Kind 🔒Methods used to assemble candidates for either trait or projection goals.