// run-pass
#![allow(dead_code)]

const fn add(x: usize, y: usize) -> usize {
    x + y
}

const ARR: [i32; add(1, 2)] = [5, 6, 7];

pub fn main() {}