warning: attempt to subtract with overflow
  --> $DIR/pub_const_err.rs:16:20
   |
LL | pub const Z: u32 = 0 - 1;
   |                    ^^^^^
   |
note: lint level defined here
  --> $DIR/pub_const_err.rs:12:9
   |
LL | #![warn(const_err)]
   |         ^^^^^^^^^

warning: this constant cannot be used
  --> $DIR/pub_const_err.rs:16:1
   |
LL | pub const Z: u32 = 0 - 1;
   | ^^^^^^^^^^^^^^^^^^^^^^^^^ attempt to subtract with overflow

warning: attempt to subtract with overflow
  --> $DIR/pub_const_err.rs:20:22
   |
LL | pub type Foo = [i32; 0 - 1];
   |                      ^^^^^

warning: this array length cannot be used
  --> $DIR/pub_const_err.rs:20:22
   |
LL | pub type Foo = [i32; 0 - 1];
   |                      ^^^^^ attempt to subtract with overflow