Trait rustc_trait_selection::solve::inspect::analyse::ProofTreeVisitor

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

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

The public API to interact with proof trees.

Provided Associated Types

type Result: VisitorResult = ()

Required Methods

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

Implementors

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