void () { doTestByText(""" from typing import TypeVarTuple Ts = TypeVarTuple("Ts") IntTuple = tuple[int, *Ts] c: IntTuple[()] = <warning descr="Expected type 'tuple[int]', got 'tuple[int, str]' instead">(1, "")</warning> """); }