// build-fail
// compile-flags: -C debug-assertions

#![deny(arithmetic_overflow, const_err)]

fn main() {
    let _x = 1_i32 << 32;
    //~^ ERROR: this arithmetic operation will overflow
}