{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
        /// Span of the single use, or None if the lifetime is never used.
        deletion_span: Option<Span>,
        /// If true, the lifetime will be fully elided.