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.