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.
