1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/mir/mir_indexing_oob_1.rs b/src/test/ui/mir/mir_indexing_oob_1.rs
new file mode 100644
index 00000000000..d46d3704779
--- /dev/null
+++ b/src/test/ui/mir/mir_indexing_oob_1.rs
@@ -0,0 +1,13 @@
+// run-fail
+// error-pattern:index out of bounds: the len is 5 but the index is 10
+
+const C: [u32; 5] = [0; 5];
+
+#[allow(unconditional_panic)]
+fn test() -> u32 {
+    C[10]
+}
+
+fn main() {
+    test();
+}