On Saturday, 6 June 2020 at 10:09:07 UTC, Patrick Schluter wrote: > Sorry, but undefined behaviour is undefined behaviour. The dmd > code generator is not at fault here. Indeed, the code generator is not at fault. But, in the bug report, the code is annotated @safe. Yet it compiles :)