/src/test/run-fail/vec-overrun.rs

 1// -*- rust -*-
 2
 3// error-pattern:bounds check
 4fn main() {
 5    let v: ~[int] = ~[10];
 6    let x: int = 0;
 7    assert (v[x] == 10);
 8    // Bounds-check failure.
 9
10    assert (v[x + 2] == 20);
11}