Introducing Nullable Reference Types in C#. Is there hope for D, too?

[codephantom]

On Friday, 17 November 2017 at 01:47:01 UTC, Michael V. Franklin 
wrote:
>
> It peeked my interested, because when I first started studying 
> D, the lack of any warning or error for this trivial case 
> surprised me.
>
> // Example A
> class Test
> {
>     int Value;
> }
>
> void main(string[] args)
> {
>     Test t;
>     t.Value++;  // No compiler error, or warning.  Runtime 
> error!
> }


Also, if you start with nothing, and add 1 to it, you still end 
up with nothing, cause you started with nothing. That makes 
completed sense to me. So why should that be invalid?