Rollup merge of #105615 - WaffleLapkin:remove_opt_scope_span_mention, r=compiler...

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

#![feature(core_intrinsics)]
fn main() {
    // divison with a remainder
    unsafe { std::intrinsics::exact_div(2u16, 3) }; //~ ERROR: 2_u16 cannot be divided by 3_u16 without remainder
}