pub trait ProofTreeVisitor<'tcx> {
    type Result: VisitorResult = ();

    // Required methods
    fn span(&self) -> Span;
    fn visit_goal(&mut self, goal: &InspectGoal<'_, 'tcx>) -> Self::Result;

    // Provided method
    fn config(&self) -> InspectConfig { ... }
}
Expand description

The public API to interact with proof trees.

Provided Associated Types§

Required Methods§

source

fn span(&self) -> Span

source

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

Provided Methods§

Implementors§