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

fn main() {
    // MAX overflow
    let _val = unsafe { 300u16.unchecked_mul(250u16) }; //~ ERROR: arithmetic overflow in `unchecked_mul`
}