Trait ProofTreeVisitor 

pub(crate) trait ProofTreeVisitor<'db> {
    type Result: VisitorResult;

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

    // Provided methods
    fn config(&self) -> InspectConfig { ... }
    fn on_recursion_limit(&mut self) -> Self::Result { ... }
}

The public API to interact with proof trees.

Required Associated Types

type Result: VisitorResult

Required Methods

fn span(&self) -> Span

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

Provided Methods

fn config(&self) -> InspectConfig

fn on_recursion_limit(&mut self) -> Self::Result

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'a, 'db, D: CoerceDelegate<'db>> ProofTreeVisitor<'db> for CoerceVisitor<'a, D>

type Result = ControlFlow<()>

impl<'a, 'db> ProofTreeVisitor<'db> for NestedObligationsForSelfTy<'a, 'db>

type Result = ()

impl<'db> ProofTreeVisitor<'db> for BestObligation<'db>

type Result = ControlFlow<(Obligation<'db, Predicate<'db>>, Vec<Predicate<'db>>)>

impl<'db> ProofTreeVisitor<'db> for Select

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

impl<'db> ProofTreeVisitor<'db> for StalledOnCoroutines<'_, 'db>

type Result = ControlFlow<()>