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.