Type Alias Reverse<T>

Reverse: T extends readonly [...(infer Rest), infer Last]
    ? Last extends number
        ? Rest extends Shape
            ? readonly [Last, ...Reverse<Rest>]
            : readonly [Last]
        : readonly []
    : readonly []

type Reversed = Reverse<[2, 3, 4]> // [4, 3, 2]
Copy