{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"v[idx]"}]}
            v[idx] = (new_start, new_end - new_start);
            // Update the element we grew.
            // Remove the elements we absorbed (if any).