1 files changed, 20 insertions, 0 deletions
diff --git a/tests/ui/consts/const-err-late.rs b/tests/ui/consts/const-err-late.rs
new file mode 100644
index 000000000..d2476e493
--- /dev/null
+++ b/tests/ui/consts/const-err-late.rs
@@ -0,0 +1,20 @@
+// build-fail
+// compile-flags: -C overflow-checks=on
+
+#![allow(arithmetic_overflow, unconditional_panic)]
+
+fn black_box<T>(_: T) {
+    unimplemented!()
+}
+
+struct S<T>(T);
+
+impl<T> S<T> {
+    const FOO: u8 = [5u8][1];
+    //~^ ERROR evaluation of `S::<i32>::FOO` failed
+    //~| ERROR evaluation of `S::<u32>::FOO` failed
+}
+
+fn main() {
+    black_box((S::<i32>::FOO, S::<u32>::FOO)); //~ constant
+}