path: root/tests/errors/unchecked_touch.zc

// expect: x: is tracked by the analyzer and can't be used in unchecked code
fn main() { let x = new(1); unchecked { x[0] = 1; } return 0; }