{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"new_name.display(sema.db,"}]}
            new_name.display(sema.db, edition)
            "Invalid name `{0}`: cannot rename module to {0}",
        );