DIP1000 scope inference

[Walter Bright]

On 10/26/2022 7:38 AM, Steven Schveighoffer wrote:
> On 10/26/22 4:03 AM, 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.
>>
> 
> I should be clear here

I understood the issue <g>.

> The last thing we 
> want dip1000 to do is *cause* memory corruption.

We're in full agreement here.