René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Walrus in comprehension can leak into PEP 695 scope","articleBody":"Example:\r\n\r\n```pycon\r\n\u003e\u003e\u003e class B: pass\r\n... \r\n\u003e\u003e\u003e class X[T]([(x := 3) for _ in range(2)] and B): print(x)\r\n... \r\n3\r\n```\r\n\r\nThis is because a walrus in a comprehension assigns to the immediately enclosing scope, which is now the type parameter scope. I don't think this causes any concrete problem right now, but I don't like it because I'd like to preserve the invariant that type parameters are the only names that can be defined in PEP 695 scopes.\n\n\u003c!-- gh-linked-prs --\u003e\n### Linked PRs\n* gh-104641\n\u003c!-- /gh-linked-prs --\u003e\n","author":{"url":"https://github.com/JelleZijlstra","@type":"Person","name":"JelleZijlstra"},"datePublished":"2023-05-19T02:50:21.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/104640/cpython/issues/104640"}