// error-pattern:attempt to divide by zero

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