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

Structs

Enums

Statics

Traits

Functions