They can't, because the restrict keyword in C is a huge footgun. This isn't manual vectorization. The Rust compiler is emitting noalias everywhere, which allows LLVM to autovectorize more of the codebase without the developer having to do anything special like use a SIMD library or intrinsics.