blob: be45c075d7331d2ddab5e28e9e944c568498a82a (
plain)
| 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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());
}
 |