Opt-in non-null class references?

[Kagamin]

On Wednesday, 28 February 2018 at 23:58:44 UTC, Jonathan M Davis 
wrote:
> Feel free to discuss any code-flow analysis issues with Walter, 
> but he's consistently been against using it for much of 
> anything whenever I've seen him discuss it.

I'd say massive breakage is what precludes it. Well, I like the 
way default initialization works in D.

> Not even stuff like VRP covers multiple lines of code, because 
> doing so would require code-flow analysis.

It feels like handling VRP for linear code can be simple enough, 
tracking VRP across branching is more of an overkill.