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 !

mypy 0.950 と Python 3.10.4 で例を再現し、リンク先の行にある machine_learning.py の例も含めてください。zip(*l) 式がどのように型付けされるかを調査し、直接の zip 呼び出しと比較してください。完了の条件は、他の zip 呼び出しに誤った動作を導入せず、推論された結果が期待されるタプル要素の型と一致することです。