In the meantime I have opened an enhancement request: http://d.puremagic.com/issues/show_bug.cgi?id=10491
Henning Pohl has written a patch: https://github.com/D-Programming-Language/dmd/pull/2270And Kenji has written some comments in Bugzilla, explaining why he doesn't like this ER.
I usually trust Kenji judgement. So let's close down this idea? Bye, bearophile