evaluate_root_goal_for_proof_tree_raw_provider

rustc_trait_selection::solve

Function evaluate_root_goal_for_proof_tree_raw_provider 

Source 
pub fn evaluate_root_goal_for_proof_tree_raw_provider<D, I>(
    cx: I,
    canonical_goal: CanonicalQueryInput<I, QueryInput<I, <I as Interner>::Predicate>>,
) -> (Result<Canonical<I, Response<I>>, NoSolution>, <I as Interner>::Probe)
where
    D: SolverDelegate<Interner = I>,
    I: Interner,
Expand description

Do not call this directly, use the tcx query instead.