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

pub trait ProofTreeVisitor<'tcx> {
    type BreakTy;

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

The public API to interact with proof trees.

Required Associated Types

type BreakTy

Required Methods

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

Implementors

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

type BreakTy = !