Please, can the langauge stop inferring scope and return for @trusted/@system?

[Dennis]

On Thursday, 19 May 2022 at 11:29:17 UTC, Dukc wrote:
> As I understand it, an unannotated function, when inference is 
> on, is checked just like it had `@safe` except that it's made 
> `@system` instead of compilation failure if the check fails. 
> (...) the more minimal escape checks in `@trusted`/`@system`

The escape checks are not more minimal in `@trusted`/`@system`, 
the only difference the attributes make is the behavior once it 
spots an error:
- when the function is being inferred, it's set to `@system`
- when the function is `@trusted`, `@system`, or `@system` by 
default, it ignores the error
- when the function is `@safe`, it prints the error