Auto merge of #105416 - nnethercote:more-linting-tweaks, r=cjgillot

[rust.git] / src / tools / miri / tests / fail / intrinsics / unchecked_mul1.rs

#![feature(unchecked_math)]
fn main() {
    // MAX overflow
    let _val = unsafe { 300u16.unchecked_mul(250u16) }; //~ ERROR: overflow executing `unchecked_mul`
}