void () { doTest("Array[*Shape]",""" from __future__ import annotations from typing import TypeVarTuple from typing import TypeVar from typing import Generic from typing import Any Shape = TypeVarTuple("Shape") Shape1 = TypeVarTuple("Shape1") T = TypeVar("T") T1 = TypeVar("T1") class Array(Generic[*Shape]): ... y: Array[int, *Shape, str] = Array() def expect_variadic_array(x: Array[int, *Shape1, str]) -> Array[*Shape1]: print(x) expr = expect_variadic_array(y) """); }