Borrowing and Ownership

[jmh530]

On Sunday, 27 October 2019 at 22:36:30 UTC, Timon Gehr wrote:
> [snip]
>
> The main drawback of this proposal is that it doesn't separate 
> control of lifetime and control of aliasing, doing so would 
> however require adding another type qualifier and does not have 
> precedent in Rust.

I'm a little confused by this. What type qualifier would need to 
be added and having what properties?