Simplification of @trusted

[Nick Treleaven]

On Wednesday, 16 June 2021 at 13:17:41 UTC, Steven Schveighoffer 
wrote:
> I would support @trusted blocks, as long as we can have @system 
> variables (DIP1035) and variables declared inside a @trusted 
> block were implicitly @system.

That would be great if both reading and writing those local 
@system variables wouldn't compile in @safe only code. So it 
would require another @trusted block any time those variables 
were used. That could be the holy grail of supporting compiler 
checking of all @safe operations even in a function that does 
unsafe stuff.