DIP1000 scope inference

[Walter Bright]

On 10/24/2022 6:35 PM, Steven Schveighoffer wrote:
> In a `@trusted` function today, without dip1000, the above is perfectly 
> reasonable and not invalid. Will dip1000 make it corrupt memory?

A very good question. Clearly, having code work when it is @safe, but cause 
memory corruption when it is marked @trusted, is the wrong solution. This should 
never happen. I'm not sure what the solution should be here.