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§