void () { doTest("Any",""" 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]): ... a: Array[int, float, *Shape, list[str], str] = Array() def expect_variadic_arrays(x: Array[int, *Shape1, str], y: Array[int, float, *Shape, bool, list[str], str]) -> Array[*Shape1] | Array[*Shape]: print(x, y) expr = expect_variadic_arrays(a, a) """); }