src/tools/miri/tests/fail/intrinsics/unchecked_add1.rs

fn main() {
    // MAX overflow
    let _val = unsafe { 40000u16.unchecked_add(30000) }; //~ ERROR: overflow executing `unchecked_add`
}