assume, assert, enforce, @safe

[eles via Digitalmars-d]

On Friday, 1 August 2014 at 05:27:48 UTC, eles wrote:
> On Thursday, 31 July 2014 at 20:49:18 UTC, Timon Gehr wrote:
>> On 07/31/2014 09:37 PM, Jonathan M Davis wrote:
>>> On Thursday, 31 July 2014 at 18:43:49 UTC, Ary Borenszweig 
>>> wrote:
>>>> On 7/31/14, 4:37 AM, Walter Bright wrote:
>>>>> On 7/30/2014 4:05 PM, Ary Borenszweig wrote:
>>>>>> On 7/30/14, 7:01 PM, Walter Bright wrote:
>
>> Disabling assertions (and whatnot), assuming assertions to be 
>> true (and disabling whatnot) and leaving all assertions and 
>> whatnot in are different trade-offs, of which assuming all 
>> assertions to be true is the most dangerous one. Why hide this 
>> behaviour in '-release'?
>
> But assertions are *always* assumed to be true. The sole 
> difference is that in Debug mode actual code generation for

*Release mode