On Monday, 18 December 2017 at 13:21:59 UTC, Sönke Ludwig wrote: > https://issues.dlang.org/show_bug.cgi?id=11847 > https://github.com/dlang/dmd/pull/7218 Sönke, thanks for reporting the bug, fighting for it and bringing it to my attention here. I hope this pull request is merged soon.