Тождественные и совместимые типы
Два типа могут быть тождественными, и эта тождественность (идентичность) является обязательной в некоторых контекстах. В других случаях два типа должны быть только совместимы или совмес- тимы по присваиванию. Два типа являются тождественными, если они описаны с одним идентификатором типа, или если их определения ис- пользуют один и тот же идентификатор типа.