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

[Dennis]

On Thursday, 19 May 2022 at 09:44:29 UTC, Dukc wrote:
> but then it has to draw a line in water
> where it stops the inference as the function body gets more 
> complex. You're going to be surprised anyway at some point if 
> you expect inference from a `@trusted` function.

You get the same inference as a non-`@trusted` function, it stops 
at the exact same point (i.e. as soon as aliases are created).