blob: 3d12bce20c9159cd515f92e69af27d3fa515f988 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// -*- rust -*-
// error-pattern:bounds check
fn main() {
let s: str = "hello";
let x: int = 0;
assert (s[x] == 0x68 as u8);
// NB: at the moment a string always has a trailing NULL,
// so the largest index value on the string above is 5, not
// 4. Possibly change this.
// Bounds-check failure.
assert (s[x + 6] == 0x0 as u8);
}
|