Module eval_ctxt 

Modules

probe 🔒

solver_region_constraints 🔒

Logic for -Zassumptions-on-binders stuff

Structs

EvalCtxt

Enums

CurrentGoalKind 🔒

The kind of goal we’re currently proving.

GenerateProofTree

RerunDecision 🔒

RerunStalled 🔒

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.