C# 8.0 nullable references: NotNull