{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"else"}]}
                        else {
                            self.store.check_lint_name(replace, None, self.registered_tools)
                            panic!("renamed lint does not exist: {replace}");