Система типов

Всё, что живёт на уровне типов, стирается: аннотации, interface, псевдонимы type, generics и as исчезают, а на выходе получается обычный JavaScript с неизменной семантикой. Код порождают только конструкции уровня значений — class, enum, namespace.

Ничего, и провалиться он не может. as стирается: он лишь велит компилятору считать выражение другим типом, не выполняя ни преобразования, ни проверки. Поэтому await res.json() as User — это утверждение о данных, а не их проверка.

Всё, что с ним связано. any присваивается в обе стороны, поэтому у значения можно прочитать любое свойство, вызвать его, проиндексировать и передать куда угодно без жалоб. Каждая такая операция снова даёт any, поэтому он расползается дальше.

Он оправдан в позиции ограничения, невидимой вызывающему, — T extends (...args: any[]) => any — и во внутренней машинерии, где настоящий тип восстанавливается на выходе. На границе данных это дурной запах: unknown требует проверки, и проверки остаются.

Он выключает расширение типа: свойства становятся readonly, каждый литерал сохраняет литеральный тип вместо расширения до string или number, а массив становится readonly-кортежем. Это и позволяет вывести union через typeof COLORS[number].

TypeScript сравнивает типы по структуре, поэтому type UserId = string — это просто string: на месте UserId примут и OrderId, и любую строку. Бренд пересекает базовый тип с фантомным маркером, которого нет ни у одной обычной строки.

Пересеките базовый тип с фантомным полем по ключу unique symbol — тогда ни одна обычная string в него не присваивается. Откройте единственную фабрику, которая проверяет сырое значение и приводит его к бренду. Бренд живёт только в типах, порождённый JavaScript не меняется.

Массивы ковариантны, поэтому Dog[] примут там, где ждут Animal[], и потом в него можно положить Cat. Параметры методов остаются бивариантными даже при strictFunctionTypes, а as и any попросту отключают проверку типов совсем.

satisfies, появившийся в TypeScript 4.9, сверяет выражение с типом, сохраняя тип, выведенный из литерала. Аннотация сверяет, но расширяет тип до себя, теряя точные ключи и значения; as сохраняет тип, но не проверяет ничего.

Потому что перегрузки — это типы, а типы стираются: в порождённом JavaScript остаётся одна функция. Список перегрузок лишь описывает проверяющему сигнатуры вызова; единственная реализация обязана принять все случаи и диспетчеризовать вручную.

Идите по any вверх по цепочке. res.json() объявлен возвращающим any, поэтому data и всё выведенное из него — тоже any, и проверяющий перестаёт замечать опечатки и неверные аргументы. noImplicitAny не срабатывает: этот any явный.

От системы типов вы её не получите — её воссоздают значениями. Держите поле-дискриминант в самих данных, используйте class, чей конструктор доживает до instanceof, или валидатор схемы, который проверяет в рантайме и выводит статический тип.

Берите satisfies там, где нужны и проверка, и точный выведенный тип: конфиги, таблицы маршрутов, данные с as const. Оставьте обычную аннотацию на публичной поверхности API, где объявленный тип и есть контракт, а расширение — это цель, а не потеря.