Simplification of @trusted

[jmh530]

On Wednesday, 23 June 2021 at 06:25:08 UTC, Andrei Alexandrescu 
wrote:
> [snip]
>> Doing things like that is why D supports @system code.
>
> Non-sequitur. The problem is there is no @system/@trusted/@safe 
> troika for pure. It's either pure or not, no way to express (as 
> is needed in key parts) "this function shall be trusted to be 
> pure".
> [snip]

Reminds me of C's restrict. It's kind of like the equivalent of 
trusting that you are not overlapping data. I don't believe it 
provides a compile-time error if you do (just run-time undefined 
behavior).