C# 9 introduced records and init-only properties to make it easier to write immutable reference objects, and I\'ve been trying to convert an old Entity Framework project to
