## evaluate_root_goal_for_proof_tree

# 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.