Module eval_ctxt

Modules§

fast_path: This file contains a number of standalone functions useful for taking fast paths in the trait solver. The exact place where we check for these fast paths changes, and matters a lot for performance. Ideally we’d only check them in evaluate_goal, but when evaluating root goals we can check them earlier and save some time creating an EvalCtxt in the first place.
probe 🔒
solver_region_constraints 🔒: Logic for -Zassumptions-on-binders stuff

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.
should_rerun_after_erased_canonicalization 🔒