src/tools/miri/tests/panic/div-by-zero-2.rs

#![allow(unconditional_panic)]

fn main() {
    let _n = 1 / 0;
}