void () { doTestByText(""" from typing import TypeVarTuple, Generic Ts = TypeVarTuple('Ts') class Array(Generic[*Ts]): ... def foo(x: Array[*Ts], y: Array[*Ts]) -> Array[*Ts]: ... x: Array[int] y: Array[str] z: Array[int, str] foo(x, x) foo(x, <warning descr="Expected type 'Array[int]' (matched generic type 'Array[*Ts]'), got 'Array[str]' instead">y</warning>) foo(x, <warning descr="Expected type 'Array[int]' (matched generic type 'Array[*Ts]'), got 'Array[int, str]' instead">z</warning>) """); }