Borrowing and Ownership

Dennis dkorpel at
Thu Oct 31 22:22:30 UTC 2019

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:

More information about the Digitalmars-d mailing list