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; }