Rust certainly provides much stronger guarantees than C, though some of its features aren't available (or at least don't come batteries included) in a freestand

Rust certainly provides much stronger guarantees than C, though some of its features aren't available (or at least don't come batteries included) in a freestanding (no_std) environment. The borrow checker is also a lot less forgiving than a garbage collector.