IsNever

In this medium-level challenge, you'll implement a IsNever Generic, which allows you to check if a type is never.

type A = IsNever<never> // expected to be true
type B = IsNever<undefined> // expected to be false
type C = IsNever<null> // expected to be false
type D = IsNever<[]> // expected to be false
type E = IsNever<number> // expected to be false

Detailed Explanation

type IsNever<T> = [T] extends [never] ? true : false

How it works:

• We use a conditional type to check if T is never. By wrapping T in an array, we prevent the type from being distributed over the union. This way we can check the entire union against never.
• If it is, we return true, otherwise we return false

This challenge helps you understand union type manipulation and how to apply this concept in real-world scenarios.