артопределяет когда два типамакет-совместимый, Но я не вижу нигде в стандарте, каковы последствия, когда два типамакет-совместимый, Кажется, чтомакет-совместимый это определение, которое нигде не используется.

Какова цельмакет-совместимый?

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