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