Могли бы вы объяснить, что подразумевается под утверждением типа в программировании?