Дистрибутивный условный тип: что это
Коротко
Дистрибутивный условный тип: условный тип T extends U ? X : Y, где T это «голый» параметр типа.
Определение
Условный тип T extends U ? X : Y, где T это «голый» параметр типа. Если подставить объединение, условие применится к каждому члену отдельно, и результаты объединятся. Отключается обёрткой: [T] extends [U]. Для never результат всегда never.
Вопросы по теме с собеседований
Запомните, а не прочитайте
В тренажёре карточка вернётся, когда начнёт забываться. А билеты по TypeScript проверят, что термин понятен в деле.