{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"Definition::ToolModule(_)"}]}
            Definition::ToolModule(_) => {
            Definition::Module(module) => rename_mod(sema, module, new_name),
                bail!("Cannot rename a tool module")