//@ run-rustfix
fn main() {
    let foo = 100;

    let y: isize = foo + 1;
    //~^ ERROR attempt to use a non-constant value in a constant

    println!("{}", y);
}