Records are meant primarily for immutable cases such as DTOs. If you use them for mutable data, my guess is it uses some structure sharing to not duplicate all properties but instead hold pointers to the old unmutated properties. That's how a lot of immutable paradigms work but I don't know what C#9 does under the hood