Auto merge of #99814 - aliemjay:patch-2, r=jackh726

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

#![feature(core_intrinsics)]
fn main() {
    // divison by 0
    unsafe { std::intrinsics::exact_div(2, 0) }; //~ ERROR: divisor of zero
}