evaluate_root_goal_for_proof_tree

rustc_next_trait_solver::solve::eval_ctxt

Function evaluate_root_goal_for_proof_tree 

Source 
pub(super) fn evaluate_root_goal_for_proof_tree<D: SolverDelegate<Interner = I>, I: Interner>(
    delegate: &D,
    goal: Goal<I, I::Predicate>,
    origin_span: I::Span,
) -> (Result<NestedNormalizationGoals<I>, NoSolution>, GoalEvaluation<I>)
Expand description

Evaluate a goal to build a proof tree.

This is a copy of EvalCtxt::evaluate_goal_raw which avoids relying on the EvalCtxt and uses a separate cache.