Constructor-defined properties of records are implemented using auto-implemented properties with the new init keyword, so: public int MyProp { get; init; }

Constructor-defined properties of records are implemented using auto-implemented properties with the new init keyword, so: public int MyProp { get; init; } instead of public int MyProp { get; set; } Apparently those are implemented using readonly backing fields while still retaining property setters.