Карточка Middle Задачи на типы обновлено
Проверка на never
Вопрос
Как написать IsNever<T> и почему не работает T extends never?
Попробуйте сами
Ответьте про себя или вслух, потом откройте ответ и сверьтесь.
Показать ответ и разбор
Коротко
type IsNever<T = [T] extends [never] ? true : false. Вариант T extends never ? true : false дистрибутивный, а never это пустое объединение, поэтому результат всегда never.
Ответ
type IsNever<T> = [T] extends [never] ? true : false. Вариант T extends never ? true : false дистрибутивный, а never это пустое объединение, поэтому результат всегда never. Обёртка в кортеж отключает распределение.
Разбор
type IsNever<T> = [T] extends [never] ? true : false. Вариант T extends never ? true : false дистрибутивный, а never это пустое объединение, поэтому результат всегда never. Обёртка в кортеж отключает распределение.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.