1 2 3 4 5 6 7 8
// expect error: type error include rt; typecheck on; fn main() { int[2] a; int* p = a; rt.put_n(a[p]); return 0; }