Rollup merge of #101875 - fmease:allow-more-negative-copy-impls, r=lcnr

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

#![feature(core_intrinsics)]

use std::intrinsics::*;

fn main() {
    unsafe {
        let _n = unchecked_rem(3u32, 0); //~ ERROR: calculating the remainder with a divisor of zero
    }
}