Comment by whatyesaid

Rust is slow to develop and prototype in. It's good if you're a big company not the average Joe.

We need a better C++ ("systems") base language that could have an optional borrow checker or bounded model checker enabled.