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