> and reference accesses will automatically take advantage of compiler-checked 'restrict' constraints,

I think that's temporarily turned off because emitting noalias attributes so much exposed some llvm bug. See: https://github.com/rust-lang/rust/issues/54878

In the long run though, yeah that is an inherent optimizability advantage of Rust vs. C.