{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"impl<D:"}]}
impl<D: SolverDelegate<Interner = I>, I: Interner> ProofTreeBuilder<D> {
    fn new(state: impl Into<DebugSolver<I>>) -> ProofTreeBuilder<D> {