Trait rustc_next_trait_solver::solve::eval_ctxt::SolverDelegateEvalExt

pub trait SolverDelegateEvalExt: SolverDelegate {
    // Required methods
    fn evaluate_root_goal(
        &self,
        goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>,
        generate_proof_tree: GenerateProofTree,
    ) -> (Result<(bool, Certainty), NoSolution>, Option<GoalEvaluation<Self::Interner>>);
    fn evaluate_root_goal_raw(
        &self,
        goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>,
        generate_proof_tree: GenerateProofTree,
    ) -> (Result<(NestedNormalizationGoals<Self::Interner>, bool, Certainty), NoSolution>, Option<GoalEvaluation<Self::Interner>>);
}

Required Methods

fn evaluate_root_goal( &self, goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>, generate_proof_tree: GenerateProofTree, ) -> (Result<(bool, Certainty), NoSolution>, Option<GoalEvaluation<Self::Interner>>)

fn evaluate_root_goal_raw( &self, goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>, generate_proof_tree: GenerateProofTree, ) -> (Result<(NestedNormalizationGoals<Self::Interner>, bool, Certainty), NoSolution>, Option<GoalEvaluation<Self::Interner>>)

Object Safety

This trait is not object safe.

Implementors

impl<D, I> SolverDelegateEvalExt for D

where D: SolverDelegate<Interner = I>, I: Interner,