René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"mypy duplicates `reveal_type` notes with partial types","articleBody":"\u003c!--\r\nIf you're not sure whether what you're experiencing is a mypy bug, please see the \"Question and Help\" form instead.\r\nPlease consider:\r\n\r\n- checking our common issues page: https://mypy.readthedocs.io/en/stable/common_issues.html\r\n- searching our issue tracker: https://github.com/python/mypy/issues to see if it's already been reported\r\n- asking on gitter chat: https://gitter.im/python/typing\r\n--\u003e\r\n\r\n**Bug Report**\r\n\r\n\u003c!--\r\nIf you're reporting a problem with a specific library function, the typeshed tracker is better suited for this report: https://github.com/python/typeshed/issues\r\n\r\nIf the project you encountered the issue in is open source, please provide a link to the project.\r\n--\u003e\r\n\r\nThere's two notes from a single `reveal_type` with a partial type in a loop.\r\n\r\n**To Reproduce**\r\n\r\n```python\r\ndef main() -\u003e None:\r\n    x = None\r\n    while True:\r\n        reveal_type(x)\r\n        x = \"\"\r\n```\r\n\r\n(the outer function is only necessary to make sure a transition to `--local-partial-types` doesn't render this test case useless)\r\n\r\n**Expected Behavior**\r\n\r\n```\r\nmain.py:4: note: Revealed type is \"Union[builtins.str, None]\"\r\nSuccess: no issues found in 1 source file\r\n```\r\n\r\n**Actual Behavior**\r\n\r\n```\r\nmain.py:4: note: Revealed type is \"None\"\r\nmain.py:4: note: Revealed type is \"Union[builtins.str, None]\"\r\nSuccess: no issues found in 1 source file\r\n```\r\n\r\n**Your Environment**\r\n\r\nI assume this was caused by https://github.com/python/mypy/pull/18180. Checked on mypy playground.\r\n\r\n- Mypy version used: master\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.12\r\n\r\n\u003c!-- You can freely edit this text, please remove all the lines you believe are unnecessary. --\u003e\r\n","author":{"url":"https://github.com/A5rocks","@type":"Person","name":"A5rocks"},"datePublished":"2025-01-22T23:53:51.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/18511/mypy/issues/18511"}