{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// is designated as their LUB (edges R1 <= R3 and R2 <= R3
    /// For a given pair of regions (R1, R2), maps to a region R3 that
    /// exist). This prevents us from making many such regions.