{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"edited_ranges.push(range.start());"}]}
            edited_ranges.push(range.start());
            edit.replace(range, name_display.to_string());
        }