Trait ProofTreeVisitor

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 { ... }
}

The public API to interact with proof trees.

Provided Associated Types

type Result: VisitorResult = ()

Required Methods

fn span(&self) -> Span

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

Provided Methods

fn config(&self) -> InspectConfig

Implementors

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

impl<'tcx> ProofTreeVisitor<'tcx> for BestObligation<'tcx>

type Result = ControlFlow<Obligation<'tcx, Predicate<'tcx>>>

impl<'tcx> ProofTreeVisitor<'tcx> for Select

type Result = ControlFlow<Result<Option<ImplSource<'tcx, Obligation<'tcx, Predicate<'tcx>>>>, SelectionError<'tcx>>>

impl<'tcx> ProofTreeVisitor<'tcx> for StalledOnCoroutines<'tcx>

type Result = ControlFlow<()>