borrowed pointers vs ref

[Dicebot via Digitalmars-d]

On Friday, 16 May 2014 at 17:22:21 UTC, Walter Bright wrote:
> 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.

Which is why `ref` itself can't be used for that and usage of 
`scope` as qualifier is necessary to enable transitive behavior :)