void () { doTestByText(""" from typing import Tuple, TypeVarTuple Ts = TypeVarTuple('Ts') def foo(*args: Tuple[*Ts]): ... foo((0,), (1,)) foo((0,), <warning descr="Expected type 'tuple[int]' (matched generic type 'tuple[*Ts]'), got 'tuple[int, int]' instead">(1, 2)</warning>) # *tuple[int | str] is inferred for *Ts foo((0,), ('1',)) """); }