zip vararg

mypy 0.950 (compiled: yes) and Python 3.10.4:

z1 = list(zip((1, 10), (2, 20), (3, 30)))  # correct: list[Tuple[int, int, int]]
z2 = list(zip(*[(1, 10), (2, 20), (3, 30)]))  # list[tuple[Any, ...]] but I expect list[tuple[int, int, int]]

Any chance to get mypy infer the type of zip(*l)?

Thanks for reading!

For the story it comes from here https://github.com/joelgrus/data-science-from-scratch/blob/d5d0f117f41b3ccab3b07f1ee1fa21cfcf69afa1/first-edition/code-python3/machine_learning.py#L18 !

Tái hiện các ví dụ với mypy 0.950 và Python 3.10.4, bao gồm cả ví dụ machine_learning.py tại dòng được liên kết. Điều tra cách biểu thức zip(*l) được định kiểu và so sánh với lệnh gọi zip trực tiếp; được xem là hoàn tất khi kết quả được suy luận khớp với các kiểu phần tử tuple mong đợi mà không đưa vào hành vi không chính xác cho các lệnh gọi zip khác.