// expect error: expected a constant include rt; fn main() { const n = 5; int[n] a; return 0; }