{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// table. You can then call `opportunistic_resolve_var` early
    /// R1 <= R2 and R2 <= R1 and (b) we unify the two regions in this
    /// which will map R1 and R2 to some common region (i.e., either