tests/run-make/const-prop-lint/input.rs

#![deny(arithmetic_overflow)]

fn main() {
    let x = 255u8 + 1;
}