I imagine it can cause problems with ABI compatibility.

I think Jonathan Blow mentioned some kind of language-level support for structure packing in the language he's designing.