{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"session_diagnostics::EmptyAttributeList"}]}
            session_diagnostics::EmptyAttributeList { attr_span: *first_span },
            *first_span,
        ),