DIP 1006 - Preliminary Review Round 1

[Timon Gehr]

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.