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

fn main() {
    // MIN overflow
    let _val = unsafe { (-30000i16).unchecked_add(-8000) }; //~ ERROR: arithmetic overflow in `unchecked_add`
}