Module rustc_trait_selection::solve
source · Expand description
The new trait solver, currently still WIP.
As a user of the trait system, you can use TyCtxt::evaluate_goal
to
interact with this solver.
For a high-level overview of how this solver works, check out the relevant section of the rustc-dev-guide.
FIXME(@lcnr): Write that section. If you read this before then ask me about it on zulip.
Modules
- assembly 🔒Code shared by trait and projection goals for candidate assembly.
- fulfill 🔒
- Dealing with trait goals, i.e.
T: Trait<'a, U>
.
Structs
- A trait engine using the new trait solver.
Enums
- Invert 🔒
Statics
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒