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