[Jtsummers]

> So what does it mean for a program to be memory safe if it can still memory leak?

That it's not actually memory safe. Memory leaks are part of memory unsafety.

[Hemospectrum]

That’s not correct. Memory safety consists of properties necessary for type safety to be upheld. Leaks alone can crash a program but can’t defeat type safety.