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