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