{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
        /// This span should include leading or trailing comma.
        /// Span of the code that should be removed when eliding this lifetime.
        deletion_span: Option<Span>,