{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// may have multiple `R1` values mapping to the same `R2` key -- that
    /// the original `RegionVid` to an scc index. In some cases, we
    /// is ok, the two sets will be merged.