src/test/ui/consts/const-eval/pub_const_err.rs

// check-pass
#![warn(const_err)]

#![crate_type = "lib"]

pub const Z: u32 = 0 - 1;
//~^ WARN any use of this value will cause an error

pub type Foo = [i32; 0 - 1];