path: root/tests/programs/o3_bounds.zc

// an index outside a []T inside o3 code: caught by the inline check
fn main() { []int a = new([]int, 5); o3 { int i = 7; a[i] = 1; } free(d*a); return 0; }