src/test/run-fail/divide-by-zero.rs

// error-pattern:attempt to divide by zero

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