This is correct. Some widespread libraries leak memory, for example. I love Rust, but I don't think this happens much in Java land.
Rust's definition of memory safety doesn't consider leaks unsafe, which isn't to say your system requirements can't .
Rust's definition of memory safety doesn't consider leaks unsafe, which isn't to say your system requirements can't .