assume, assert, enforce, @safe

[Walter Bright via Digitalmars-d]

On 8/1/2014 7:13 PM, David Bregman wrote:
> OK, I think I have an idea how to be more convincing (I wish I'd thought of this
> earlier):
>
> is this
> http://www.cplusplus.com/reference/cassert/assert/
>
> the same as this?
> http://msdn.microsoft.com/en-us/library/1b3fsfxw.aspx
>
> can you see the difference now?

What I see is Microsoft attempting to bring D's assert semantics into C++. :-)

As I've mentioned before, there is inexorable pressure for this to happen, and 
it will happen.