Re: 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.