Repository navigation
[BUG] Union should expand TypeVarTuple. #1442
Description
from typing import TypeVarTuple, Union
import random
Ts = TypeVarTuple("Ts")
def random_item(*items: *Ts) -> Union[*Ts]:
"""Chooses a random input"""
return random.choice(items)
reveal_type(random_item(1, "apple", None)) # should be int | str | NoneHowever, Union[*Ts] simplifies to *Ts which is a typing._UnpackGenericAlias.
Activity
AlexWaygood commentedon Aug 5, 2023
Please clarify whether you believe there is a "bug in the specification", a bug in a specific type checker, or a bug in the behaviour at runtime
randolf-scholz commentedon Aug 5, 2023
Nevermind,
pyrightseems to check this with proper configuration. I would suggest appending something like this as example to theTypeVarTuple-PEP.