Чому type IsNever = T extends never ? true : false дає never для IsNever ?

never - порожній union, і розподіл по ньому дає порожній результат

Це баг компілятора, тому never узагалі не можна перевіряти

never завжди сумісний із літералом false в умовних типах

TypeScript · Senior · Запитання 5 з 75

Чому `type IsNever<T> = T extends never ? true : false` дає `never` для `IsNever<never>`?

✓Правильна відповідь: never - порожній union, і розподіл по ньому дає порожній результат
2Це баг компілятора, тому never узагалі не можна перевіряти
3never завжди сумісний із літералом false в умовних типах

Пояснення

Розподільний умовний тип застосовується до кожного члена union, а в never членів немає - результат never. Правильна перевірка: [T] extends [never] ? true : false.

Де почитати

TS Handbook: Conditional Types ↗

Чому `type IsNever<T> = T extends never ? true : false` дає `never` для `IsNever<never>`?

Пояснення

Де почитати

Помилка в запитанні

Перевірте себе

Чому type IsNever<T> = T extends never ? true : false дає never для IsNever<never>?

Пояснення

Де почитати

Перевірте себе

Чому `type IsNever<T> = T extends never ? true : false` дає `never` для `IsNever<never>`?