Type alias NeverUnknown<T>

NeverUnknown<T>: unknown[] extends T
    ? (T extends {}[]
            ? true
            : false) extends true
        ? any[]
        : never
    : T

Convert all unknown[] types in an array type to never

The (...? true: false) extends true prevents it filtering out any[], the only other type that unknown[] extends.