Shouldn't invalid references like this fail at compile time?

[Kagamin]

On Monday, 22 January 2018 at 23:30:16 UTC, Aedt wrote:
> I was asked in Reddit 
> (https://www.reddit.com/r/learnprogramming/comments/7ru82l/i_was_thinking_of_using_d_haxe_or_another/) how would D handle the following similar D code. I'm surprised that both dmd and ldc provides no warnings even with -w argument passed.

Well, if you want to check much at compile time, you probably 
want SPARK or F* (fstar).