Trait rustc_middle::ty::search_graph::ProofTreeBuilder

source · 
pub trait ProofTreeBuilder<X>
where
    X: Cx,
{
    // Required methods
    fn try_apply_proof_tree(&mut self, proof_tree: <X as Cx>::ProofTree) -> bool;
    fn on_provisional_cache_hit(&mut self);
    fn on_cycle_in_stack(&mut self);
    fn finalize_canonical_goal_evaluation(
        &mut self,
        cx: X,
    ) -> <X as Cx>::ProofTree;
}

Required Methods§

source

fn try_apply_proof_tree(&mut self, proof_tree: <X as Cx>::ProofTree) -> bool

source

fn on_provisional_cache_hit(&mut self)

source

fn on_cycle_in_stack(&mut self)

source

fn finalize_canonical_goal_evaluation(&mut self, cx: X) -> <X as Cx>::ProofTree

Implementors§