Module rustc_trait_selection::solve

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.
canonical 🔒
eval_ctxt 🔒
fulfill 🔒
project_goals 🔒
search_graph 🔒
trait_goals 🔒
Dealing with trait goals, i.e. T: Trait<'a, U>.

Structs

EvalCtxt
FulfillmentCtxt
A trait engine using the new trait solver.

Enums

Invert 🔒
SolverMode 🔒

Statics

Traits

Functions

response_no_constraints 🔒