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

[rust.git] / src / tools / miri / tests / fail / intrinsics / div-by-zero.rs

#![feature(core_intrinsics)]

use std::intrinsics::*;

fn main() {
    unsafe {
        let _n = unchecked_div(1i64, 0); //~ERROR: dividing by zero
    }
}