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

[Dukc]

On Thursday, 19 May 2022 at 12:26:38 UTC, Dennis wrote:
> On Thursday, 19 May 2022 at 11:29:17 UTC, Dukc wrote:
>> 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 `@trusted`, `@system`, or `@system` by 
> default, it ignores the error

If there is a check that does nothing on failure, there is no 
check from user perspective.

With the more minimal checks, I meant the ones that can still 
silently add `return` to `@trusted` functions parameter.