Skip to main content

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: <I as Interner>::CanonicalInput,
    root_depth: usize,
) -> (Result<Canonical<I, Response<I>>, NoSolution>, <I as Interner>::Probe, RequiredDepth)
where
    D: SolverDelegate<Interner = I>,
    I: Interner,
Expand description

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