error[E0308]: mismatched types
  --> $DIR/const-array-oob-arith.rs:5:45
   |
LL | const BLUB: [i32; (ARR[0] - 40) as usize] = [5];
   |             -----------------------------   ^^^ expected an array with a size of 2, found one with a size of 1
   |             |
   |             expected because of the type of the constant
   |
help: consider specifying the actual array length
   |
LL - const BLUB: [i32; (ARR[0] - 40) as usize] = [5];
LL + const BLUB: [i32; 1] = [5];
   |

error[E0308]: mismatched types
  --> $DIR/const-array-oob-arith.rs:9:44
   |
LL | const BOO: [i32; (ARR[0] - 41) as usize] = [5, 99];
   |            -----------------------------   ^^^^^^^ expected an array with a size of 1, found one with a size of 2
   |            |
   |            expected because of the type of the constant
   |
help: consider specifying the actual array length
   |
LL - const BOO: [i32; (ARR[0] - 41) as usize] = [5, 99];
LL + const BOO: [i32; 2] = [5, 99];
   |

error: aborting due to 2 previous errors

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