What does the following type produce for IsNever and IsNever? type IsNever = [T] extends [never] ? true : false;

TypeScript Professional Hard

TypeScript Professional — Hard

What does the following type produce for IsNever and IsNever? type IsNever = [T] extends [never] ? true : false;

Key points

  • Tuples prevent distribution over empty unions
  • The first IsNever evaluates to true due to the tuple

Ready to go further?

Related questions