pub fn evaluate_root_goal_for_proof_tree_raw_provider<D: SolverDelegate<Interner = I>, I: Interner>(
cx: I,
canonical_goal: CanonicalInput<I>,
) -> (QueryResult<I>, I::Probe)Expand description
Do not call this directly, use the tcx query instead.