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

Rust allows you to achieve with syntax what these good codebases achieve through diligence. You're right that it isn't rocket science, but it's demonstrably challenging, given that plenty of people get it wrong.

People are certainly trying to bring more safety to existing languages (in various ways), and that's only a good thing.