Условный тип

Здесь extends означает то же, что в ограничениях: «подходит под описание».

В задании тип-проверка, строка ли перед нами:

export type IsString<T> = boolean;

export const yes: IsString<"привет"> = true;
export const no: IsString<number> = false;

// @ts-expect-error
export const broken: IsString<number> = true;

Ошибка: «Unused '@ts-expect-error' directive». IsString всегда равен boolean и параметр T вообще не использует. Поэтому для числа можно присвоить и true, и false, и последняя строка, которая должна была упасть, компилируется.

Ответ должен быть не «какой-то boolean», а конкретный литерал: true для строк и false для всего остального. В TypeScript true и false это отдельные типы, а boolean это их объединение.

Подробнее: Conditional Types — справочник TypeScript.

Задание

Перепиши IsString так, чтобы для строковых типов он давал true, а для остальных false. Значения и директиву @ts-expect-error менять не нужно.