Re: assume, assert, enforce, @safe

[Tofu Ninja via Digitalmars-d]

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.