Это процесс, который вынуждает компилятор пересмотреть свое отношение к типу данных
Утверждение типа, похоже на преобразование (приведение) типов (type conversion, typecasting), за исключением того, что от них не остается и следа в скомпилированном коде, а внутренний механизм, различен. Именно поэтому они и называются утверждения.
Утверждая тип, разработчик говорит компилятору - “поверь мне, я знаю, что делаю” (Trust me, I know what I’m doing).