Proces wykonywany przez kompilator lub tłumacza, aby upewnić się, że gdy używana jest zmienna, to jest traktowane jako posiadające dane tego samego typu, jak to było uznanych za mające.