error: attempt to add with overflow
  --> $DIR/const-eval-overflow-4.rs:23:13
   |
LL |     : [u32; (i8::MAX as i8 + 1i8) as usize]
   |             ^^^^^^^^^^^^^^^^^^^^^
   |
   = note: #[deny(const_err)] on by default

error[E0080]: constant evaluation error
  --> $DIR/const-eval-overflow-4.rs:23:13
   |
LL |     : [u32; (i8::MAX as i8 + 1i8) as usize]
   |             ^^^^^^^^^^^^^^^^^^^^^ attempt to add with overflow

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0080`.