Prototype of Ownership/Borrowing System for D

[jmh530]

On Wednesday, 20 November 2019 at 12:16:29 UTC, Timon Gehr wrote:
> [snip]
>
> 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.

 From here [1], Walter says that "OB will also be turned off in 
@system code." But I don't see anything about @safe or @sysstem 
in the changelog/ob.md file.

[1] 
https://dlang.org/blog/2019/07/15/ownership-and-borrowing-in-d/