Rust uses an industrial strength optimiser (LLVM) and the analysis you list is all rather standard. As others have said, one usually doesn't need manual indexin

Rust uses an industrial strength optimiser (LLVM) and the analysis you list is all rather standard. As others have said, one usually doesn't need manual indexing in loops, and even if it is required, an obvious loop like that is quite transparent to the compiler. In any case, it's an implementation detail of the compiler, not a language thing.