{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// is an entry for each of the primary spans -- for each primary
    /// Returns the strings to highlight. We always ensure that there
    /// span `P`, if there is at least one label with span `P`, we return