{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
                // Increase our size to absorb the next element.
            {
                new_end = new_end.max(next_offset + next_size);