> which would lead to memory leaks in any sufficiently complex program. Memory leaks (and more generally resource leaks) are not generally considered memory sa

> which would lead to memory leaks in any sufficiently complex program. Memory leaks (and more generally resource leaks) are not generally considered memory safety issues. After all, that's basically what an advanced GC manages for you: you leak memory, and it tries to clean up after you. But whether it does is entirely up to it and its configuration (nothing precludes disabling it and leaking all the memory, there's nothing actionable at the language level).