warning: this arithmetic operation will overflow
  --> $DIR/promoted_errors.rs:15:5
   |
LL |     0 - 1
   |     ^^^^^ attempt to compute `0_u32 - 1_u32`, which would overflow
   |
note: the lint level is defined here
  --> $DIR/promoted_errors.rs:11:9
   |
LL | #![warn(arithmetic_overflow, unconditional_panic)]
   |         ^^^^^^^^^^^^^^^^^^^

warning: this operation will panic at runtime
  --> $DIR/promoted_errors.rs:19:5
   |
LL |     1 / 0
   |     ^^^^^ attempt to divide `1_i32` by zero
   |
note: the lint level is defined here
  --> $DIR/promoted_errors.rs:11:30
   |
LL | #![warn(arithmetic_overflow, unconditional_panic)]
   |                              ^^^^^^^^^^^^^^^^^^^

warning: this operation will panic at runtime
  --> $DIR/promoted_errors.rs:23:5
   |
LL |     1 / (1 - 1)
   |     ^^^^^^^^^^^ attempt to divide `1_i32` by zero

warning: this operation will panic at runtime
  --> $DIR/promoted_errors.rs:27:5
   |
LL |     1 / (false as i32)
   |     ^^^^^^^^^^^^^^^^^^ attempt to divide `1_i32` by zero

warning: this operation will panic at runtime
  --> $DIR/promoted_errors.rs:31:5
   |
LL |     [1, 2, 3][4]
   |     ^^^^^^^^^^^^ index out of bounds: the length is 3 but the index is 4

warning: 5 warnings emitted