{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
                    // one region over the other. Just pick the
                    // If we get here, we don't have any reason to prefer
                    // one with the lower index for now.