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