René's URL Explorer Experiment

Title: Unsupported operand types for + (List[A] and List[B]) when B extends A · Issue #3933 · python/mypy · GitHub

Open Graph Title: Unsupported operand types for + (List[A] and List[B]) when B extends A · Issue #3933 · python/mypy

X Title: Unsupported operand types for + (List[A] and List[B]) when B extends A · Issue #3933 · python/mypy

Description: If I have: Class A: Class B(A): Then If I try to add lists of these two objects you get the following mypy error: error: Unsupported operand types for + (List[A] and List[B]) Any ideas for a work around on this one? Surely the inferred t...

Open Graph Description: If I have: Class A: Class B(A): Then If I try to add lists of these two objects you get the following mypy error: error: Unsupported operand types for + (List[A] and List[B]) Any ideas for a work a...

X Description: If I have: Class A: Class B(A): Then If I try to add lists of these two objects you get the following mypy error: error: Unsupported operand types for + (List[A] and List[B]) Any ideas for a work a...

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

X: @github

direct link

Domain: github.com

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":" Unsupported operand types for + (List[A] and List[B]) when B extends A","articleBody":"If I have:\r\n```\r\nClass A:\r\n\r\nClass B(A):\r\n```\r\nThen If I try to add lists of these two objects you get the following mypy error:\r\n`error: Unsupported operand types for + (List[A] and List[B])`\r\n\r\nAny ideas for a work around on this one?  Surely the inferred type should be `List[Union[A, B]`\r\n","author":{"url":"https://github.com/henryJack","@type":"Person","name":"henryJack"},"datePublished":"2017-09-07T12:23:56.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":7},"url":"https://github.com/3933/mypy/issues/3933"}

Links:

Viewport: width=device-width