On Wednesday, 5 June 2013 at 14:08:46 UTC, Regan Heath wrote:
With virtual by default, could D statically verify/deny these?
What about with static by default? Does it get easier or
harder to detect/deny these in either case?
Without understanding dmd internals, the implementation effort
should be exactly the same regardless of default. And it should
be easy too, like checking a flag on function call expression:
walk each ast tree item in constructor
if funcApplicattion.isVirtual then
emit warning ...
The bug reports regarding this issue are
http://d.puremagic.com/issues/show_bug.cgi?id=5056
http://d.puremagic.com/issues/show_bug.cgi?id=3393
