Процесс выполняется компилятор или интерпретатор, чтобы убедиться, что когда переменная используется, он рассматривается как имеющее тот же тип, как оно было объявлено иметь данных.