Record default constructor c# July 8, 2019 16 32 64 128 C# record struct default constructor C# record private default constructor C# record constructor default value C# record override default constructor
