René's URL Explorer Experiment

Title: Recent change to `tuple` constructor breaks subclasses of tuples · Issue #8275 · python/typeshed · GitHub

Open Graph Title: Recent change to `tuple` constructor breaks subclasses of tuples · Issue #8275 · python/typeshed

X Title: Recent change to `tuple` constructor breaks subclasses of tuples · Issue #8275 · python/typeshed

Description: A recent change to the tuple.__new__ method in builtins.pyi introduced an overload: @overload def __new__(cls) -> tuple[()]: ... This overload is problematic for classes that derive from specialized tuples. class MyTuple(tuple[int, str, ...

Open Graph Description: A recent change to the tuple.__new__ method in builtins.pyi introduced an overload: @overload def __new__(cls) -> tuple[()]: ... This overload is problematic for classes that derive from specialize...

X Description: A recent change to the tuple.__new__ method in builtins.pyi introduced an overload: @overload def __new__(cls) -> tuple[()]: ... This overload is problematic for classes that derive from special...

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

X: @github

direct link

Domain: github.com

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Recent change to `tuple` constructor breaks subclasses of tuples","articleBody":"A recent change to the `tuple.__new__` method in `builtins.pyi` introduced an overload:\r\n```python\r\n    @overload\r\n    def __new__(cls) -\u003e tuple[()]: ...\r\n```\r\n\r\nThis overload is problematic for classes that derive from specialized tuples.\r\n\r\n```python\r\nclass MyTuple(tuple[int, str, str]):\r\n    ...\r\n\r\nx = MyTuple()\r\nreveal_type(x) # tuple[()] !!!!\r\n```\r\n\r\nBecause of this overload, the wrong type is evaluated.\r\n\r\nI think this overload should return `Self`, not `tuple[()]`. Admittedly, that doesn't produce the ideal type evaluation for `tuple()`. It produces `tuple[Any, ...]` rather than `tuple[()]`.","author":{"url":"https://github.com/erictraut","@type":"Person","name":"erictraut"},"datePublished":"2022-07-12T08:48:56.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/8275/typeshed/issues/8275"}

Links:

Viewport: width=device-width