{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// R1 <= R2 and R2 <= R1 and (b) we unify the two regions in this
    /// When we add a R1 == R2 constraint, we currently add (a) edges
    /// table. You can then call `opportunistic_resolve_var` early