{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"new_name.display(sema.db,"}]}
                    new_name.display(sema.db, edition)
                    "Invalid name `{}`: not a lifetime identifier",
                );