Natürlich macht der Default-Record-Constructor etwas => der reserviert den Speicherbereich.
Der Default-Record-Constructor wäre System._InitializeRecord, welches aber keinen Speicherplatz reserviert, sondern nur die Managed-Felder (String, Interface, dyn. Array) mit nil initialisiert. Der Speicher wird direkt vom Compiler einbezogen, sofern der Record nicht auf dem Heap liegt, wo man ihn selbst mit New und Dispose verwalten muss.