Collections question

[Marc Schütz via Digitalmars-d]

On Wednesday, 2 December 2015 at 06:45:33 UTC, deadalnix wrote:
> On Tuesday, 1 December 2015 at 17:27:20 UTC, Andrei 
> Alexandrescu wrote:
>> Ah, the good old assignment to reference. We need to prevent 
>> that from happening in safe code. Got any fresh ideas? -- 
>> Andrei
>
> Disable owner when borrowing 'mutably', and not when borrowing 
> 'constly'.

Making it const is enough, it doesn't need to be disabled 
completely. (Except if you want to go full Rust with uniqueness 
etc.)

Maybe there's a way to relax it further. Not all modifications of 
the owner are necessarily bad... If we limit the restriction to 
types with indirections (or types with destructors?), and only 
apply it in @safe functions, this might not even break much code. 
I suspect that almost all @trusted code, and probably most @safe 
code, will already be written in a way that conforms to the new 
rules.