Let's get the semantic around closure fixed.

[deadalnix]

On Monday, 31 May 2021 at 15:08:34 UTC, Ola Fosheim Grøstad wrote:
> On Sunday, 30 May 2021 at 21:09:36 UTC, deadalnix wrote:
>> I've long argued that nogc needs to trigger n leaks, not 
>> allocations, and this is one more example as to why.
>>
>> And tracking leak isn't as crazy as it sound whn you track 
>> ownership, a leak is a transfers of ownership to the GC.
>
> I don't disagree that tracking ownership through the type 
> system is desirable, but it isn't possible without explicit 
> ownership. Shape analysis get tricky very fast.

I think it is unavoidable. DIP1000 and alike are just doing 
exactly that while pretending they aren't, and it is causing a 
parsing XML with regex kind of running problem - it looks like 
it'll actually work, but it doesn't.