blob: 8dcfc294aae53109941f002d4004c5545b222877 [file] [log] [blame]
//@ run-pass
#![allow(dead_code)]
fn main() {
const ARR: [i32; 6] = [42, 43, 44, 45, 46, 47];
const IDX: usize = 3;
const VAL: i32 = ARR[IDX];
const BLUB: [i32; (ARR[0] - 41) as usize] = [5];
}