Comment by pizlonator

Yeah I read it. I define memory safe as: Any program accepted by the compiler follows the typing rules of the language.

That holds for Rust if you don’t use unsafe at all. It also holds in other memory safe languages (like JavaScript). Some memory safe languages gaurantee this without any caveats (JavaScript) while others guarantee it with caveats (Rust if you don’t use unsafe, Java if you don’t use certain APIs, etc).