assume, assert, enforce, @safe

[H. S. Teoh via Digitalmars-d]

On Sat, Aug 02, 2014 at 01:47:42AM +0200, Timon Gehr via Digitalmars-d wrote:
> On 08/02/2014 01:03 AM, H. S. Teoh via Digitalmars-d wrote:
> >Actually, I'm thinking of ways of extending this even further, ...
> 
> Note that the official stance has been that such things are obviously
> ridiculous if not checked dynamically in non-release mode.

Nothing stops the compiler in non-release mode from computing the
expression both ways and comparing them to see if they match.


T

-- 
He who does not appreciate the beauty of language is not worthy to bemoan its flaws.