1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/iterators/iter-sum-overflow-overflow-checks.rs b/tests/ui/iterators/iter-sum-overflow-overflow-checks.rs
new file mode 100644
index 00000000000..be45c075d73
--- /dev/null
+++ b/tests/ui/iterators/iter-sum-overflow-overflow-checks.rs
@@ -0,0 +1,27 @@
+// run-pass
+// needs-unwind
+// compile-flags: -C overflow-checks
+
+use std::panic;
+
+fn main() {
+    let r = panic::catch_unwind(|| {
+        [1, i32::MAX].iter().sum::<i32>();
+    });
+    assert!(r.is_err());
+
+    let r = panic::catch_unwind(|| {
+        [2, i32::MAX].iter().product::<i32>();
+    });
+    assert!(r.is_err());
+
+    let r = panic::catch_unwind(|| {
+        [1, i32::MAX].iter().cloned().sum::<i32>();
+    });
+    assert!(r.is_err());
+
+    let r = panic::catch_unwind(|| {
+        [2, i32::MAX].iter().cloned().product::<i32>();
+    });
+    assert!(r.is_err());
+}