On Wednesday, 7 March 2018 at 08:58:50 UTC, Paolo Invernizzi
Just to understand, otherwise, if the assert is removed and it
does not hold, you are in UB,
You're not. Just let the compiler treat the code as if the
asserts weren't there. If the resulting code has UB, it won't
compile, because @safe code is statically checked to not have UB.
so the request is to guarantee memory safety in a UB state,
I don't think anyone is asking for that. The request is for no UB
in @safe code.