On Sunday, 7 October 2012 at 02:36:31 UTC, bearophile wrote: > Do you think this has to be correct code? I think it should work, but I'd call it a minor bug if it doesn't because it isn't hard to work around.