{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"lhs_regions.is_disjoint(&rhs_regions)"}]}
                    lhs_regions.is_disjoint(&rhs_regions)
                    // The intersection between LHS and RHS regions should be empty.
                },