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

[Timon Gehr]

On 17.11.2017 11:19, Jonathan M Davis wrote:
>   If the compiler can't guarantee that your code is
> wrong, then that check should be left up to a linter.

I.e., you think the following code should compile:

class C{}

void main(){
     size_t a = 2;
     C b = a;
     size_t c = b;
     import std.stdio;
     writeln(c); // "2"
}