René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Platform check is not remembered after `return`","articleBody":"**Bug Report**\r\n\r\nA platform check that is working fine in `if` and `else` is not working after `if ... return`.\r\n\r\n**To Reproduce**\r\n\r\n```python\r\nimport sys\r\n\r\ndef works() -\u003e None:\r\n    if sys.platform != \"win32\":\r\n        return\r\n    else:\r\n        from winreg import REG_SZ\r\n\r\ndef fails() -\u003e None:\r\n    if sys.platform != \"win32\":\r\n        return\r\n    from winreg import REG_SZ\r\n```\r\n\r\nhttps://mypy-play.net/?mypy=latest\u0026python=3.11\u0026gist=eddad091a6082bd85c5c7524839726b1\r\n\r\n**Expected Behavior**\r\n\r\nNo error.\r\n\r\n**Actual Behavior**\r\n\r\nmain.py:12: error: Module \"winreg\" has no attribute \"REG_SZ\"  [attr-defined]\r\nFound 1 error in 1 file (checked 1 source file)\r\n\r\n**Your Environment**\r\n\r\n- Failure is on Linux\r\n- Mypy version used: 1.1.1\r\n- Mypy command-line flags: none\r\n- Mypy configuration options from `mypy.ini` (and other config files): none\r\n- Python version used: 3.11.2\r\n","author":{"url":"https://github.com/bersbersbers","@type":"Person","name":"bersbersbers"},"datePublished":"2023-03-23T02:55:14.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/14940/mypy/issues/14940"}