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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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