src/test/ui/numbers-arithmetic/promoted_overflow_opt.rs

// run-pass
#![allow(const_err)]

// compile-flags: -O

fn main() {
    let x = &(0u32 - 1);
    assert_eq!(*x, u32::MAX)
}