{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"///"}]}
    /// as a sort key to sort a buffer of diagnostics. By default, it is the primary span of
    /// This is not used for highlighting or rendering any error message. Rather, it can be used
    /// `span` if there is one. Otherwise, it is `DUMMY_SP`.