Trait rustc_trait_selection::solve::inspect::analyse::ProofTreeInferCtxtExt

pub trait ProofTreeInferCtxtExt<'tcx> {
    // Required method
    fn visit_proof_tree<V: ProofTreeVisitor<'tcx>>(
        &self,
        goal: Goal<'tcx, Predicate<'tcx>>,
        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

Object Safety

This trait is not object safe.

Implementors

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