assume, assert, enforce, @safe

[Timon Gehr via Digitalmars-d]

On 08/01/2014 06:42 AM, Tofu Ninja wrote:
> On Friday, 1 August 2014 at 04:36:13 UTC, Walter Bright wrote:
>> On 7/31/2014 6:37 PM, H. S. Teoh via Digitalmars-d wrote:
>>> But if we do that, then assume() starts to sound more and more like
>>> assert()...
>>
>> I see that my posts are starting to work :-)
>
> I don't think we are arguing for the addition of assume, we are
> arguing about the redefinition of assert to act like assume in
> -release.

Yes, I think what he fails to appreciate is that he is arguing for the 
introduction of 'assume' in -release mode as a stealth operation by 
redefining the conventional meaning of 'assert', and that arguing 
against the introduction of 'assume' because it is redundant with the 
new 'assert' is not relevant.