{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
    /// be shown together with the original diagnostic's span, *not* with spans added by
    /// Labels are used to convey additional context for the diagnostic's primary span. They will
    /// `span_note`, `span_help`, etc. Therefore, if the primary span is not displayable (because