{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// those labels (marked as primary). But otherwise we return
    /// span `P`, if there is at least one label with span `P`, we return
    /// `SpanLabel` instances with empty labels.