error[E0308]: mismatched types
  --> $DIR/const-array-oob-arith.rs:7:45
   |
LL | const BLUB: [i32; (ARR[0] - 40) as usize] = [5];
   |                                             ^^^ expected an array with a fixed size of 2 elements, found one with 1 element
   |
   = note: expected type `[i32; 2]`
              found type `[i32; 1]`

error[E0308]: mismatched types
  --> $DIR/const-array-oob-arith.rs:10:44
   |
LL | const BOO: [i32; (ARR[0] - 41) as usize] = [5, 99];
   |                                            ^^^^^^^ expected an array with a fixed size of 1 element, found one with 2 elements
   |
   = note: expected type `[i32; 1]`
              found type `[i32; 2]`

error: aborting due to 2 previous errors

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