{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"}"}]}
                } else {
                    col = col.checked_add(u32::from(c.len()) - c.wide_len(enc))?;
                    // From here on, all utf16 characters come *after* the character we are mapping,