Trait ProofTreeInferCtxtExt

pub trait ProofTreeInferCtxtExt<'tcx> {
    // Required methods
    fn visit_proof_tree<V: ProofTreeVisitor<'tcx>>(
        &self,
        goal: Goal<'tcx, Predicate<'tcx>>,
        visitor: &mut V,
    ) -> V::Result;
    fn visit_proof_tree_at_depth<V: ProofTreeVisitor<'tcx>>(
        &self,
        goal: Goal<'tcx, Predicate<'tcx>>,
        depth: usize,
        visitor: &mut V,
    ) -> V::Result;
}

Required Methods

fn visit_proof_tree<V: ProofTreeVisitor<'tcx>>( &self, goal: Goal<'tcx, Predicate<'tcx>>, visitor: &mut V, ) -> V::Result

fn visit_proof_tree_at_depth<V: ProofTreeVisitor<'tcx>>( &self, goal: Goal<'tcx, Predicate<'tcx>>, depth: usize, visitor: &mut V, ) -> V::Result

Object Safety

This trait is not object safe.

Implementors

impl<'tcx> ProofTreeInferCtxtExt<'tcx> for InferCtxt<'tcx>