1 // build-pass (FIXME(62277): could be check-pass?)
2 
main()3 fn main() {
4     const ARR: [i32; 6] = [42, 43, 44, 45, 46, 47];
5     const IDX: usize = 3;
6     const VAL: i32 = ARR[IDX];
7     const BLUB: [i32; (ARR[0] - 41) as usize] = [5];
8 }
9