src/test/run-fail/mod-zero.rs

// error-pattern:modulo zero
fn main() {
    let y = 0;
    let z = 1 % y;
}