Module rustc_trait_selection::solve

The next-generation trait solver, currently still WIP.

As a user of rust, you can use -Znext-solver to enable the new trait solver.

As a developer of rustc, you shouldn’t be using the new trait solver without asking the trait-system-refactor-initiative, but it can be enabled with InferCtxtBuilder::with_next_trait_solver. This will ensure that trait solving using that inference context will be routed to the new trait 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

• alias_relate 🔒
  Implements the AliasRelate goal, which is used when unifying aliases. Doing this via a separate goal is called “deferred alias relation” and part of our more general approach to “lazy normalization”.
• assembly 🔒
  Code shared by trait and projection goals for candidate assembly.
• eval_ctxt 🔒
• fulfill 🔒
• inspect
• normalize 🔒
• normalizes_to 🔒
• 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

• GenerateProofTree
• GoalEvaluationKind 🔒
• SolverMode 🔒

Constants

• FIXPOINT_STEP_LIMIT 🔒
  How many fixpoint iterations we should attempt inside of the solver before bailing with overflow.

Traits

• CanonicalResponseExt 🔒
• InferCtxtEvalExt
• InferCtxtSelectExt

Functions

• deeply_normalize
  Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.
• deeply_normalize_with_skipped_universes
  Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.
• response_no_constraints_raw 🔒