{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // Output new suffix, using chars() iter to ensure unicode compatibility
        output += &'\x08'.to_string().repeat(self.text.len() - common_prefix_length);
        output.extend(text.chars().skip(common_prefix_length));