Doch, leider ja. Habe hier ein Beispiel, ist aber closed source: packed records mit packed arrays und short strings. 'packed array of boolean'. An einer Stelle muss mittlerweile ein zusätzliches Byte rein (zum Auffüllen).
Ergo: Ist meistens kompatibel, aber unterschreiben würde ich es nicht.
Daher schreibe ich explizite Lese- und Schreibroutinen für Records. Wenn ich sie denn noch benutze.
Das halte ich dann allerdings für einen Bug des Compilers.