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

[Joseph Rushton Wakeling]

On 29/08/13 16:21, Artur Skawina wrote:
In order to handle ref-returns it would have to be more like
    struct EnforceWrapper(T) {
       T t;

       auto ref opDispatch(string M, Args...)(Args args) {
          {/*before code*/}
          scope (exit) {/*after code*/}
          return mixin("t." ~ M ~ "(args)");
       }
    }

and need another two overloads for property/field getters and
setters. Handling ref-args would add more complexity, but in
many cases ignoring them or using auto-ref is enough.

Interesting.  When it comes down to it, it looks like what you're proposing is 
an extended version of Proxy, no .... ?