Direction for @safe/-dip1000

[Walter Bright]

On 2/14/2022 1:43 PM, IGotD- wrote:
> The borrow/checker system and ownership are two separate things. Borrow/checker 
> ensures that there is only one mutable access at one time or several immutable 
> accesses.
> 
> Ownership is a completely different topic which connects to memory management. 
> The infamous ownership system in Rust only allows one ownership at one time 
> which is tied to their move semantics.
> 
> The borrow/checker in D is something I haven't completely understood and what 
> question it is supposed to solve.

@live only allows one ownership at a time and is tied to move semantics.