{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"edit.replace(range,"}]}
            edit.replace(range, name_display.to_string());
        if !has_emitted_edit && !edited_ranges.contains(&range.start()) {
            edited_ranges.push(range.start());