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

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

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

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

fn main() {}