[lonjil]

But preventing memory leaks is actually impossible. Even with garbage collection, memory leaks are common.

[layer8]

It’s certainly possible with appropriate proof methods. My disappointment was specifically about non-memory resources, however.