If you perhaps happen to know or have a pointer: how would that work in C#? A field not initialised will be null, and if it’s non-nullable… what’s its value going to be?
The check would be moved to the object initialization, so the compiler would tell you if you use the flexible object initialization syntax and left some non-nullable properties uninitialized.
