El estandar define cuando dos tipos son compatible con el diseño. Pero, no veo en ninguna parte del estándar cuáles son las consecuencias cuando dos tipos son compatible con el diseño. Parece que compatible con el diseño es una definición que no se usa en ninguna parte.

Cual es el proposito de compatible con el diseño?

Nota: Supuestamente, podría significar que los tipos tienen el mismo diseño offsetof es el mismo para cada miembro correspondiente), por lo que, por ejemplo, para los tipos que se pueden copiar trivialmente, los bytes subyacentes se pueden copiar entre ellos. Pero no veo algo como esto en el estándar.