{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"total_len"}]}
            total_len -= indel.delete.len();
            total_len += TextSize::of(&indel.insert);
            max_total_len = max(max_total_len, total_len);