Type Alias NonAny<T>

NonAny: [T] extends [readonly unknown[]]
? { [I in keyof T]: 0 extends 1 & T[I] ? never : T[I] }
: never

Type Parameters

T

Example

declare function arrayOfNonAny<T extends ArrayOf.NonAny<T>>(xs: T): T

const ex_01 = arrayOfNonAny([Boolean(), Number(), String()])
//    ^? const ex_01: [boolean, number, string]

const ex_02 = arrayOfNonAny([Boolean(), Number(), JSON.parse('0')])
//    ^? const ex_02: [boolean, number, never]    ^^^^^^^^^^^^^^^   🚫 Type 'any' is not assignable to type 'never'