My Reference Safety System (DIP???)

[deadalnix via Digitalmars-d]

On Friday, 27 February 2015 at 23:18:24 UTC, Marc Schütz wrote:
> * When a scoped value is stored somewhere, it is then reachable 
> through the destination. Therefore, assuming the source's scope 
> is fixed, the destination's scope must be widened to 
> accommodate the source's scope.

So, when you are referring to scope here; you are referring to 
the scope of the indirection, right ?

You don't cover the lifetime of the address of operation, and I'm 
not how this is supposed to work in your proposal.

> I will also add examples how return and static annotations are 
> handled.

static annotation ? Seems like a bad idea and I'm sure we can do 
without.