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

[Mark]

On Tuesday, 21 November 2017 at 09:12:25 UTC, Ola Fosheim Grostad 
wrote:
> Runtime checks are part of the type system though

I wouldn't say that, particularly if we are talking about a 
statically typed language (which Java is).