René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Typechecking differs between one-line def of \"return expr\" vs. \"r = expr; return r\"","articleBody":"mypy 0.931\r\n\r\n```python\r\n#!/usr/bin/env python3\r\n\r\nfrom collections.abc import Iterable\r\nfrom typing import Optional\r\nimport os\r\n\r\ndef min_direntry_good(\r\n        fs: 'Iterable[os.DirEntry[str]]'\r\n) -\u003e 'Optional[os.DirEntry[str]]':\r\n    r = min(fs, default=None, key=lambda x: x.stat().st_mtime)\r\n    return r\r\n\r\ndef min_direntry_bad(\r\n        fs: 'Iterable[os.DirEntry[str]]'\r\n) -\u003e 'Optional[os.DirEntry[str]]':\r\n    return min(fs, default=None, key=lambda x: x.stat().st_mtime)\r\n```\r\n\r\n```\r\nhober.py:16: error: Item \"None\" of \"Optional[DirEntry[str]]\" has no attribute \"stat\"\r\nFound 1 error in 1 file (checked 1 source file)\r\n```","author":{"url":"https://github.com/drvink","@type":"Person","name":"drvink"},"datePublished":"2022-01-13T12:20:08.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/11985/mypy/issues/11985"}