Let's get the semantic around closure fixed.

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
Mon May 31 15:08:34 UTC 2021


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.



More information about the Digitalmars-d mailing list