Object Pascal and Modula-2 would be already much safer than plain C, although you still suffer from use-after-free errors.
Then there is Ada, but it is in the same complexity level as C++, although much easier than Rust.
Then there is Ada, but it is in the same complexity level as C++, although much easier than Rust.