Здравствуйте, LaptevVV, Вы писали:

Нужен, нужен:

3.2/5
There can be more than one definition of a class type (clause 9), enumeration type (7.2), ... in a program provided that each
definition appears in a different translation unit, and provided the definitions satisfy the following requirements.

Далее идет перечисление всех требований, и еще далее:

If the definitions of D do not satisfy these requirements, then the behavior is undefined.

Возможно, что твой первый пример удовлетворяет всем требованиям, и множественная декларация класса не является ошибкой. А возможно, что отсутствие диагностики — одно из проявлений UB

Так что про стражей (прагмы) забывать не нужно — а то себе дороже выйдет...