Type Alias FiniteArray<T>

FiniteArray: [T] extends [readonly any[]]
    ? number extends T["length"] ? never : { [I in keyof T]?: T[I] }
    : never