assume, assert, enforce, @safe

[Walter Bright via Digitalmars-d]

On 8/1/2014 2:50 PM, Jonathan M Davis wrote:
> Thinking about it, I'm actually wondering if I should use assertions _more_ so
> that the compiler might be able to do better optimizations in -release.

I think this will be a productive strategy once this gets implemented in optimizers.

Of course, using them effectively will not be easy unless one is willing to 
understand how data flow analysis works and is willing to examine the generated 
code.