What's the go with the GC these days?

[Ola Fosheim Grøstad]

On Tuesday, 8 January 2019 at 10:56:43 UTC, Ola Fosheim Grøstad 
wrote:
> Let's say you obtain ownership of every other object in an 
> array, then you have to prove that  you also release every 
> other object in that array before you return from the function.

Or rather, that every other object has been acquired (locked to 
memory) by the context (the calling function).

So, it is quite doable, but you have to use ideas used for 
proving program correctness, which is a difficult topic.