On 06.03.2018 19:49, Paolo Invernizzi wrote:


I simply don't understand why enforce or a custom check can't be used @safe code, if you want that behaviour.
...

I have explained why. UB is non-modular and you don't (want to) control all the code that you use. Also, enforce cannot be disabled. And no, keeping the check or introducing UB are not the only sensible options.

Reply via email to