Mapped types on tuples and arrays not working recursively #29442

type DeepMap<T extends unknown[], R> = {
  [K in keyof T]: T[K] extends unknown[] ? DeepMap<T[K], R> : R;
};

type tup = [string, [string, [string]]];
type arr = string[][];

type t1 = DeepMap<tup, number>;
type t2 = DeepMap<arr, number>;

type t1 = [number, [number, [number]]];
type t2 = number[][];

type t1 = [number, any];
type t2 = any[];