Trait rustc_trait_selection::solve::inspect::analyse::ProofTreeVisitor
source · 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.