> A great deal of Rust code need not ever involve the unsafe block, and in these cases there is no great temptation to stray off this path

Rust was an attempt to have the compiler manage memory, but they couldn't crack it, so they had to just push all the failures to conquer c style UB under rusts unsafe keyword...

Good codebases already do what rust is doing with the borrow checker, it's not rocket science.

There's a serious argument for cherry picking rusts good parts and Retrofitting them into a more entrenched language.