src/test/run-fail/promoted_div_by_zero.rs

#![allow(const_err)]

// error-pattern: attempt to divide by zero

fn main() {
    let x = &(1 / (1 - 1));
}