pub trait ProofTreeInferCtxtExt<'tcx> {
// Required methods
fn visit_proof_tree<V: ProofTreeVisitor<'tcx>>(
&self,
goal: Goal<'tcx, Predicate<'tcx>>,
visitor: &mut V,
) -> V::Result;
fn visit_proof_tree_at_depth<V: ProofTreeVisitor<'tcx>>(
&self,
goal: Goal<'tcx, Predicate<'tcx>>,
depth: usize,
visitor: &mut V,
) -> V::Result;
}
Required Methods§
fn visit_proof_tree<V: ProofTreeVisitor<'tcx>>( &self, goal: Goal<'tcx, Predicate<'tcx>>, visitor: &mut V, ) -> V::Result
fn visit_proof_tree_at_depth<V: ProofTreeVisitor<'tcx>>( &self, goal: Goal<'tcx, Predicate<'tcx>>, depth: usize, visitor: &mut V, ) -> V::Result
Object Safety§
This trait is not object safe.