Borrowing and Ownership

[Dennis]

On Sunday, 27 October 2019 at 22:36:30 UTC, Timon Gehr wrote:
> Improve `@trusted`:
>
> - The problem with `@trusted` is that it has no defense against 
> `@safe` code destroying its invariants or accessing raw 
> pointers that are only meant to be manipulated by `@trusted` 
> code. There should therefore be a way to mark data as 
> `@trusted` (or equivalent), such that `@safe` code can not 
> access it.

I'm working on that:
https://github.com/dlang/DIPs/pull/179