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