Comment by orlp

An example of when it's not necessary:

    for i in 0..v.len() {
        v[i] += 1;
    }

Because the compiler can prove that i < v.len() due to the loop condition, the bounds check gets eliminated.