Correct. Fortunately that has nothing to do with memory safety. And where did you get the idea I was a Rust zealot?

It has everything to do with memory safety.

You don't even need a type system to eliminate memory unsafety. Show me the memory unsafety in lambda calculus. (and don't forget that, as you said, we're talking about languages, not runtimes)