>> не ограничен только лишь статическим анализом
В смысле? Какой там не статический анализ? Может я еще плохо знаю typescript? )
статический анализ, это проверка методом "пристального вглядывания в код", которая позволяет понять, что происходит с типами во время работы программы. Имеет смысл в случае динамически типизированных языков - у этих тип становится понятен только в рантайме.
TypeScript - статически типизированный язык. Поэтому компилятор "знает", где какой тип, и анализом ему заниматься не нужно