{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
    /// `span` if there is one. Otherwise, it is `DUMMY_SP`.
    /// as a sort key to sort a buffer of diagnostics. By default, it is the primary span of
    pub sort_span: Span,