On Saturday, 4 January 2014 at 17:57:26 UTC, Timon Gehr wrote: > This mechanism would be more useful if moving was specified to > occur whenever provably possible using live variable analysis. Yes, I agree. I'd really like to have the unique and lent stuff. > The following is possible: Right, and it isn't too bad.