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