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

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

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