Re: Lifetime tracking

[Timon Gehr via Digitalmars-d]

On 03.06.2016 01:29, Timon Gehr wrote:

[1] It might be possible to get that example to pass the type checker
with 'return' annotations only if I change 'ref' to 'out', but often
more than two lifetimes are involved, and then it falls flat on its face.

To be slightly more explicit:

void multiAssign(A,B,C,D)(ref A a,B b,ref C c,D d){ a = b; c = d; }