Simplification of @trusted

[jmh530]

On Wednesday, 16 June 2021 at 21:32:46 UTC, Paul Backus wrote:
> On Wednesday, 16 June 2021 at 21:26:08 UTC, Bruce Carneal wrote:
>> I like the notion that others have mentioned of @safe checking 
>> by default within @trusted code (which would require @system 
>> blocks to disable checking).  Perhaps we could adopt an opt-in 
>> strategy where such @safe checking is triggered by the 
>> presence of an @system block.
>
> Under this proposal, @system lambdas/blocks within @trusted 
> code would have the exact same semantics as @trusted 
> blocks/lambdas within @safe code currently do. It's pure 
> bikeshedding.

I assumed that what Bruce is saying is that if you have a @system 
block within @trusted code, then the remainder of the @trusted 
code gets @safe checking. That's not the same thing.