Use better bound names in `-Zverbose` mode

[rust.git] / 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));
}