@system blocks and safer @trusted (ST) functions

[ShadoLight]

On Sunday, 25 July 2021 at 12:01:01 UTC, Walter Bright wrote:
>
> One solution would be for the compiler to check such @trusted 
> functions for @safe-ty anyway, and issue an error for @trusted 
> functions with no @system{} blocks and no @safe errors.
>
> The user could silence this error by adding an empty @system 
> block:
>
>     @system { }

...or rather simply marked as a @safe function then?