René's URL Explorer Experiment

Title: Set difference unexpectedly permissive · Issue #1840 · python/typeshed · GitHub

Open Graph Title: Set difference unexpectedly permissive · Issue #1840 · python/typeshed

X Title: Set difference unexpectedly permissive · Issue #1840 · python/typeshed

Description: Mypy passes accepts the following snippet, even though the set subtraction is guaranteed to be a no-op. a: Set[str] = set(["hello"]) b: Set[bytes] = set([b"world"]) b -= a Would it make sense to require Set[T] for both arguments to a dif...

Open Graph Description: Mypy passes accepts the following snippet, even though the set subtraction is guaranteed to be a no-op. a: Set[str] = set(["hello"]) b: Set[bytes] = set([b"world"]) b -= a Would it make sense to re...

X Description: Mypy passes accepts the following snippet, even though the set subtraction is guaranteed to be a no-op. a: Set[str] = set(["hello"]) b: Set[bytes] = set([b"world"]) b -= a Would...

Opengraph URL: https://github.com/python/typeshed/issues/1840

X: @github

direct link

Domain: github.com

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Set difference unexpectedly permissive","articleBody":"Mypy passes accepts the following snippet, even though the set subtraction is guaranteed to be a no-op.\r\n\r\n```\r\n    a: Set[str] = set([\"hello\"])\r\n    b: Set[bytes] = set([b\"world\"])\r\n    b -= a\r\n```\r\n\r\nWould it make sense to require `Set[T]` for both arguments to a difference operation?","author":{"url":"https://github.com/chadaustin","@type":"Person","name":"chadaustin"},"datePublished":"2018-01-22T19:32:29.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":5},"url":"https://github.com/1840/typeshed/issues/1840"}

Links:

Viewport: width=device-width