Использовал ли conditional types в TypeScript

Да, conditional types в TypeScript позволяют создавать типы, которые зависят от условий. Они используют синтаксис T extends U ? X : Y, где проверяется, соответствует ли тип T типу U, и в зависимости от этого выбирается X или Y.

Пример:

type IsString<T> = T extends string ? true : false;

type A = IsString<'hello'>; // true
type B = IsString<42>; // false

Часто используются с infer для извлечения типов:

type UnpackPromise<T> = T extends Promise<infer U> ? U : T;

type C = UnpackPromise<Promise<number>>; // number
type D = UnpackPromise<string>; // string

Полезны в сложных типах, например, для условного выбора типов в дженериках или утилитах.