pub trait ProofTreeVisitor<'tcx> {
    type BreakTy;

    // Required method
    fn visit_goal(
        &mut self,
        goal: &InspectGoal<'_, 'tcx>
    ) -> ControlFlow<Self::BreakTy>;
}
Expand description

The public API to interact with proof trees.

Required Associated Types§

Required Methods§

source

fn visit_goal( &mut self, goal: &InspectGoal<'_, 'tcx> ) -> ControlFlow<Self::BreakTy>

Implementors§

source§

impl<'a, 'tcx> ProofTreeVisitor<'tcx> for AmbiguityCausesVisitor<'a, 'tcx>

§

type BreakTy = !