Условные типы и infer

Условный тип выбирает ветку по проверке присваиваемости: T extends string ? 'text' : 'other'. Если T ещё обобщённый, вычисление откладывается до конкретного типа. Если слева голый параметр, а подставили объединение, тип распределяется: Exclude<'a' | 'b', 'a'> проверяет каждый член отдельно. Отсюда две ловушки: распределение не всегда нужно (тогда [T] extends [U]), а never как пустое объединение даёт never, поэтому IsNever пишут через кортеж. infer позволяет вытащить часть типа по шаблону: тип возврата функции, элемент массива, значение промиса, кусок строки в шаблонном литерале; с TS 4.7 можно сразу ограничить infer X extends number. В прикладном коде это типы-помощники: параметры роута из строки, тип ответа по эндпоинту, выбор вариантов union по дискриминанту. Вредны они, когда становятся нечитаемыми или тормозят проверку: тогда лучше явный тип или кодогенерация.