DIP1000 scope inference

[rikki cattermole]

On 26/10/2022 9:03 PM, Walter Bright wrote:
> 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.

At the very least, if no solution can be determined this needs to be 
reverted before 2.101.0.