Одна из целей системы типов в TypeScript — это поиск кода, который выдаст исключение при выполнении, без его запуска.