Opt-in non-null class references?

[Jacob Carlborg]

On Wednesday, 28 February 2018 at 23:58:44 UTC, Jonathan M Davis 
wrote:
> he's stated that dmd's optimizer uses code-flow analysis for 
> some stuff, but for anything that involves putting it in the 
> frontend where the behavior would have to be encoded in the 
> spec, he's been against it.

The compiler can actually detect simple cases of null 
dereferences if optimizations are turned on, "-O", due to the 
optimizer using flow analysis.

--
/Jacob Carlborg