“Before this, Rust had no native ability to deal with arrays bigger than 32 elements!”
The Precursor team wrote a whole OS in Rust so they could audit every line. Then they pulled in std, and the Rust standard library dwarfs their own kernel. Every compiler release changes the code they depend on. A language that won’t sit still is hard to audit, no matter how good the borrow checker is.