pub trait ProofTreeInferCtxtExt<'tcx> {
    // Required method
    fn visit_proof_tree<V: ProofTreeVisitor<'tcx>>(
        &self,
        goal: Goal<'tcx, Predicate<'tcx>>,
        visitor: &mut V
    ) -> ControlFlow<V::BreakTy>;
}

Required Methods§

source

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

Implementors§

source§

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