void () { doTest("Array[*tuple[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") class Array(Generic[*Shape]): ... y: Array[*tuple[float, ...]] = Array() def expect_variadic_array(x: Array[*Shape, T]) -> Array[*Shape, T]: print(x) expr = expect_variadic_array(y) """); }