rustc_trait_selection::solve::inspect::analyse

Trait ProofTreeInferCtxtExt

source
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§

source

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

source

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§

source§

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