Module eval_ctxt 

Modules

probe 🔒

solver_region_constraints 🔒

Logic for -Zassumptions-on-binders stuff

Structs

EvalCtxt

ReplaceAliasWithInfer 🔒

Eagerly replace aliases with inference variables, emitting AliasRelate goals, used when adding goals to the EvalCtxt. We compute the AliasRelate goals before evaluating the actual goal to get all the constraints we can.

Enums

CurrentGoalKind 🔒

The kind of goal we’re currently proving.

GenerateProofTree

RerunDecision 🔒

Traits

SolverDelegateEvalExt

Functions

evaluate_root_goal_for_proof_tree 🔒

Evaluate a goal to build a proof tree.

evaluate_root_goal_for_proof_tree_raw_provider

Do not call this directly, use the tcx query instead.