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

[Dukc]

On Thursday, 19 May 2022 at 10:21:00 UTC, Dukc wrote:
> On Thursday, 19 May 2022 at 09:57:47 UTC, Dennis wrote:
>> 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).
>
> Yes. But the point is, AFAIK it is implementation-defined how 
> far a compiler will take checks like this.

Plus, that aliasing rule isn't exactly common documented 
knowledge. If the language behaviour depends on that, it's a 
recipe for confusion.