On 5/16/2014 9:43 AM, Dicebot wrote:
Transitive borrowing solves certain class of issues that currently rely on convention, enabling whole new type of verified safe code (both memory safe and concurrency safe). Head-only? Doesn't look so.
I'm concerned that transitive borrowing will *preclude* a number of useful cases.
