Что такое conditional types в TypeScript?

Conditional types работают как тернарный оператор для типов: T extends U ? X : Y. NonNullable = T extends null | undefined ? never : T. Полезны для вывода типов из структуры. С infer: type ReturnType = T extends (...args: any) => infer R ? R : never — извлекает тип возвращаемого значения. Distributive conditional types: если T это union, условие применяется к каждому члену отдельно. Мощный но сложный инструмент для library авторов.