René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Bug with comprehension inlining + type aliases","articleBody":"Consider this code:\r\n```python\r\nclass C:\r\n    T = \"class\"\r\n    type Alias3[T] = (T for _ in (1,))\r\n    type Alias5[T] = [T for _ in (1,)]\r\n\r\nprint(list(C.Alias3.__value__))\r\nprint(C.Alias5.__value__)\r\n```\r\n\r\nOn current main it produces:\r\n```\r\n[T]\r\n['class']\r\n```\r\nSo if you use a genexp, you get the `T` type parameter, but if you use a listcomp, you get the class variable. I think the genexp behavior is right; the comprehension should never see the class scope.\r\n\r\nFound this while looking into #109118. Filing this separately as the symptom is different, but I suspect we'll have to solve both simultaneously. cc @carljm for PEP 709.","author":{"url":"https://github.com/JelleZijlstra","@type":"Person","name":"JelleZijlstra"},"datePublished":"2023-09-09T18:20:39.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/109194/cpython/issues/109194"}