On Wednesday, 28 February 2018 at 14:05:19 UTC, Jonathan M Davis
I expect that pretty much anything you propose that requires
code flow analysis is DOA. Walter is almost always against
features that require it, because it's so hard to get right,
and the places that D does use it tend to have problems (e.g.
it's actually quite trivial to use a const or immutable member
variable before it's initialized).
Honestly, this is not that hard. It's very hard in DMD because it
doesn't go through an SSA like form at any point. It's rather
disappointing to see the language spec being decided upon based
on design decision made in a compiler many years ago.