{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"tail.copy_within(gap_len..idx,"}]}
            tail.copy_within(gap_len..idx, 0);
            };
            tail = &mut tail[idx - gap_len..];