void () { doTest("Array[list[int], bool, str]", """ from __future__ import annotations from typing import Generic, TypeVarTuple, Tuple, NewType, TypeVar T = TypeVar('T') Shape = TypeVarTuple('Shape') class Array(Generic[*Shape]): def __init__(self, shape: Tuple[*Shape]): self._shape: Tuple[*Shape] = shape def add_axis_suffix(self, t: T) -> Array[*Shape, T]: ... shape = ([42], True) arr: Array[list[int], bool] = Array(shape) expr = arr.add_axis_suffix('42') """); }