namespace;
include rt;

// expect: element borrow was invalidated by array mutation on line 8; borrow created on line 7
fn main() {
 int[?] a = {1,2};
 int* p = &a[0];
 resize(a,3);
 rt.put_n(p[0]);
}