Initial check in
Bug: 137197907
diff --git a/src/test/ui/consts/const-array-oob-arith.rs b/src/test/ui/consts/const-array-oob-arith.rs
new file mode 100644
index 0000000..2f9b30b
--- /dev/null
+++ b/src/test/ui/consts/const-array-oob-arith.rs
@@ -0,0 +1,12 @@
+#![feature(const_indexing)]
+
+const ARR: [i32; 6] = [42, 43, 44, 45, 46, 47];
+const IDX: usize = 3;
+const VAL: i32 = ARR[IDX];
+const BONG: [i32; (ARR[0] - 41) as usize] = [5];
+const BLUB: [i32; (ARR[0] - 40) as usize] = [5]; //~ ERROR: mismatched types
+const BOO: [i32; (ARR[0] - 41) as usize] = [5, 99]; //~ ERROR: mismatched types
+
+fn main() {
+ let _ = VAL;
+}
