Trait rustc_type_ir::search_graph::ProofTreeBuilder

source · 
pub trait ProofTreeBuilder<X: Cx> {
    // Required methods
    fn try_apply_proof_tree(&mut self, proof_tree: X::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::ProofTree;
}

Required Methods§

source

fn try_apply_proof_tree(&mut self, proof_tree: X::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::ProofTree

Implementors§