O padrão define quando dois tipos são compatível com layout. Mas não vejo em nenhum lugar do padrão quais são as consequências quando dois tipos são compatível com layout. Parece que compatível com layout é uma definição que não é usada em nenhum luga

Qual é o objetivo de compatível com layout?

Nota: supostamente, isso pode significar que os tipos têm o mesmo layout offsetof é o mesmo para cada membro correspondente); portanto, para tipos trivialmente copiáveis, os bytes subjacentes podem ser copiados entre eles. Mas não vejo algo assim no padrão.