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

fn main() {
    // MIN overflow
    let _val = unsafe { 1_000_000_000i32.unchecked_mul(-4) }; //~ ERROR: arithmetic overflow in `unchecked_mul`
}