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

[Dicebot]

On Sunday, 1 September 2013 at 09:24:46 UTC, Jacob Carlborg wrote:
> On 2013-09-01 01:09, Andrei Alexandrescu wrote:
>
>> Oh I see. Yes, if we do find a way to define scope to provide
>> guarantees, that would be awesome.
>
> How about this:
>
> ...

It is pretty much the meaning I have assumed when collaborating 
on `scope ref` DIP. Only problem here is, again (and again), 
attribute inference - using scope variables will require 
annotating most part of Phobos with `scope` function parameter 
attributes to be usable.