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

Условные типы - это особенный синтаксис для работы с типами, позволяющий определять типы данных на основе условий.

1
T extends U ? X : Y

Где:
• T и U - это типы.
• extends - оператор, проверяющий, можно ли присвоить T типу U.
• ? и : - тернарный оператор, определяющий результат.
• X - тип, который будет возвращен, если T extends U истинно.
• Y - тип, который будет возвращен, если T extends U ложно.