DIP77 - Fix unsafe RC pass by 'ref'

[via Digitalmars-d]

On Friday, 10 April 2015 at 15:44:32 UTC, Andrei Alexandrescu 
wrote:
> We hope to do better than Rust. -- Andrei

Hope does not cut it.

A design that breaks down even on a linked list (e.g. you have to 
turn to ref-counted pointers everywhere) and that makes 
findByRef(container,node) break should not have made it to a DIP 
in the first place.

D needs clean semantics on what is a value. The only sensible 
definition for a copyable value is that you cannot take the 
identity in _any way_ from a value or anything that can be 
reached from it.

D needs clean semantics on what is unique ownership. Ref counting 
is not it. Pervasive ref counting requires WPO to work out ok.

C++14 with sanitizer tooling is a lot more attractive than this 
direction you are going for.