René's URL Explorer Experiment

Title: Type not narrowed correctly for `if X in collection` · Issue #3229 · python/mypy · GitHub

Open Graph Title: Type not narrowed correctly for `if X in collection` · Issue #3229 · python/mypy

X Title: Type not narrowed correctly for `if X in collection` · Issue #3229 · python/mypy

Description: def foobar(foo: Union[str, float]): if foo in ['fizz', 'buzz']: reveal_type(foo) else: pass The revealed type is Union[builtins.str, builtins.float] but should be builtins.str

Open Graph Description: def foobar(foo: Union[str, float]): if foo in ['fizz', 'buzz']: reveal_type(foo) else: pass The revealed type is Union[builtins.str, builtins.float] but should be builtins.str

X Description: def foobar(foo: Union[str, float]): if foo in ['fizz', 'buzz']: reveal_type(foo) else: pass The revealed type is Union[builtins.str, builtins.float] but should be builtins.str

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

X: @github

direct link

Domain: github.com

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Type not narrowed correctly for `if X in collection`","articleBody":"```python\r\ndef foobar(foo: Union[str, float]):\r\n    if foo in ['fizz', 'buzz']:\r\n        reveal_type(foo)\r\n    else:\r\n        pass\r\n```\r\n\r\nThe revealed type is `Union[builtins.str, builtins.float]` but should be `builtins.str`","author":{"url":"https://github.com/frexvahi","@type":"Person","name":"frexvahi"},"datePublished":"2017-04-24T09:28:39.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":6},"url":"https://github.com/3229/mypy/issues/3229"}

Links:

Viewport: width=device-width