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.

Reply via email to