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-nul

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.