fn main() {
let x = 5;
const Y: i32 = x; //~ ERROR attempt to use a non-constant value in a constant [E0435]
let _ = [0; x]; //~ ERROR attempt to use a non-constant value in a constant [E0435]
}