My Reference Safety System (DIP???)

[deadalnix via Digitalmars-d]

On Thursday, 26 February 2015 at 22:45:19 UTC, Zach the Mystic 
wrote:
> I'm starting to see what you mean. I guess it's only applicable 
> to variables with double (or more) indirections (e.g. T**, 
> T***, etc.), since only they can lose information with 
> transitive scopes. Looks like we need a new rule: variables 
> assigning to one of their double indirections cannot acquire a 
> scope-depth greater than (or lifetime less than) their current 
> one. Does that fix the problem?

Cool. I think that can work (I'm not 100% convinced, but at least 
something close to that should work). But that is probably too 
limiting.

Hence the proposed differentiation of lvalue and rvalues.