Re: assert() vs. enforce(), invariant() vs. ... ?

[Andrei Alexandrescu]

On 8/31/13 2:57 PM, Brian Rogoff wrote:
On Saturday, 31 August 2013 at 21:30:40 UTC, Andrei Alexandrescu wrote:
http://stackoverflow.com/questions/4711309/meaning-of-scope-in-d-for-a-parameter


That use will stay and is useful and uncontested.

Andrei

Sure, but my complaint is that that useful style is cramped by the
inability to have scope on *local variables*.

Oh I see. Yes, if we do find a way to define scope to provide 
guarantees, that would be awesome.

Andrei