Let's get the semantic around closure fixed.

[Ola Fosheim Grøstad]

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.