It's way to early to declare Rust and borrow checking as a panacea for systems level languages.
Zig has a solid story for memory safety but makes a different set of trade offs than Rust.
IMHO there is room for a few different approaches to systems programming.