René's URL Explorer Experiment

Title: mypy thinks variable is None even if assigned non-None value inside loop · Issue #11900 · python/mypy · GitHub

Open Graph Title: mypy thinks variable is None even if assigned non-None value inside loop · Issue #11900 · python/mypy

X Title: mypy thinks variable is None even if assigned non-None value inside loop · Issue #11900 · python/mypy

Description: Bug Report To Reproduce def foo() -> None: user = None while True: if user is None: user = 123 else: print(1 + "lol") foo() Expected Behavior mypy error + runtime error Actual Behavior no mypy error Your Environment Mypy version used: 0.930

Open Graph Description: Bug Report To Reproduce def foo() -> None: user = None while True: if user is None: user = 123 else: print(1 + "lol") foo() Expected Behavior mypy error + runtime error Actual Behavior no mypy erro...

X Description: Bug Report To Reproduce def foo() -> None: user = None while True: if user is None: user = 123 else: print(1 + "lol") foo() Expected Behavior mypy error + runtime error Actual Behavior...

Opengraph URL: https://github.com/python/mypy/issues/11900

X: @github

direct link

Domain: github.com

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"mypy thinks variable is None even if assigned non-None value inside loop","articleBody":"**Bug Report**\r\n\r\n**To Reproduce**\r\n\r\n```\r\ndef foo() -\u003e None:\r\n    user = None\r\n\r\n    while True:\r\n        if user is None:\r\n            user = 123\r\n        else:\r\n            print(1 + \"lol\")\r\n\r\nfoo()\r\n```\r\n\r\n**Expected Behavior**\r\n\r\nmypy error + runtime error\r\n\r\n**Actual Behavior**\r\n\r\nno mypy error\r\n\r\n**Your Environment**\r\n\r\n- Mypy version used: 0.930","author":{"url":"https://github.com/Akuli","@type":"Person","name":"Akuli"},"datePublished":"2022-01-04T22:40:53.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/11900/mypy/issues/11900"}

Links:

Viewport: width=device-width