Prototype of Ownership/Borrowing System for D

[rikki cattermole]

On 21/11/2019 1:16 AM, Timon Gehr wrote:
> Right now, the only use I can see for @live is as an incomplete and 
> unsound linting tool in @system code. It doesn't make @safe code any 
> more expressive. To me, added expressiveness in @safe code is the whole 
> point of a borrowing scheme.

You touch upon a very good point.

I'm starting to think of @live as a superset of @safe. With @trusted 
being an escape route. If this is the case then perhaps making all 
pointers non-null (with asserts) would make sense.