{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"where"}]}
where
pub(crate) struct ProofTreeBuilder<D, I = <D as SolverDelegate>::Interner>
    D: SolverDelegate<Interner = I>,