pub trait ProofTreeInferCtxtExt<'tcx> {
// Required method
fn visit_proof_tree<V: ProofTreeVisitor<'tcx>>(
&self,
goal: Goal<'tcx, Predicate<'tcx>>,
visitor: &mut V
) -> ControlFlow<V::BreakTy>;
}
pub trait ProofTreeInferCtxtExt<'tcx> {
// Required method
fn visit_proof_tree<V: ProofTreeVisitor<'tcx>>(
&self,
goal: Goal<'tcx, Predicate<'tcx>>,
visitor: &mut V
) -> ControlFlow<V::BreakTy>;
}