But you can avoid these by following best practices and using tools to find them. These are known knowns and there are solutions. The issue with Rust and others is that there are so many unknown unknowns, because it hasn't had the same number of hours of development time and usage.

Have you ever used a language like Haskell in a formal verification environment? You still get memory issues but there are far less tools to tackle them.