{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"origin_span:"}]}
        origin_span: I::Span,
        generate_proof_tree: GenerateProofTree,
        f: impl FnOnce(&mut EvalCtxt<'_, D>) -> R,