Prototype of Ownership/Borrowing System for D

[mipri]

On Sunday, 24 November 2019 at 14:07:31 UTC, Timon Gehr wrote:
> This means @live does not improve
> the expressiveness of @safe code: it does not allow us to write
> new and interesting @safe code that we could not write before.
> Walter however claimed that @live enables safe manual memory
> management in @safe code

OK, I get it. The problem was that 'expressiveness' is so
strongly associated with code size or neatness. What you're
wanting is not something like "D code can become less verbose
or look more modern", but that more of the D code that's
currently possible, can be possibly marked @safe.

That's not a weird thing to want at all. Especially not if
there's a long term goal of making @safe the default. It can't
be the default if too much valid code isn't valid @safe.