1 files changed, 13 insertions, 0 deletions
diff --git a/tests/ui/numbers-arithmetic/promoted_overflow.rs b/tests/ui/numbers-arithmetic/promoted_overflow.rs
new file mode 100644
index 000000000..ba168f773
--- /dev/null
+++ b/tests/ui/numbers-arithmetic/promoted_overflow.rs
@@ -0,0 +1,13 @@
+#![allow(arithmetic_overflow)]
+
+// run-fail
+// error-pattern: overflow
+// compile-flags: -C overflow-checks=yes
+// for some reason, fails to match error string on
+// wasm32-unknown-unknown with stripped debuginfo and symbols,
+// so don't strip it
+// compile-flags:-Cstrip=none
+
+fn main() {
+    let x: &'static u32 = &(0u32 - 1);
+}