Rollup merge of #101967 - jmillikin:linux-abstract-socket-addr, r=joshtriplett

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

#![feature(unchecked_math)]

fn main() {
    // MAX overflow
    let _val = unsafe { 40000u16.unchecked_add(30000) }; //~ ERROR: overflow executing `unchecked_add`
}