path: root/docs/history/15-o3/code/tests/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; }