rust/tests/fail/intrinsics/unchecked_sub2.rs

#![feature(core_intrinsics)]
fn main() {
    // MAX overflow
    unsafe {
        std::intrinsics::unchecked_sub(30000i16, -7000);
    } //~ ERROR overflow executing `unchecked_sub`
}