{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"Definition::Module(module)"}]}
            Definition::Module(module) => rename_mod(sema, module, new_name),
        match *self {
            Definition::ToolModule(_) => {