Memory leaks are memory safe, or, at least, don't lead to memory corruption like other violations of memory safety. https://huonw.github.io/blog/2016/04/memory-leaks-are-memory...