On Friday, 1 May 2015 at 19:45:18 UTC, Walter Bright wrote:
I suspect this kind of change and check would be appropriate for a D linter, and not be part of the core language.
Yes it would fit nicely into a static analyzer, but DMD is currently the only semantic analyzer we have.
