path: root/tests/errors/unchecked_touch.zc

namespace;
include rt;

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