Non-nullable properties in C# 11.