blob: 323dae380633d8312801f6cb7e9013514f559b95 (
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
#![deny(clippy::panicking_unwrap, clippy::unnecessary_unwrap)]
#![allow(
clippy::if_same_then_else,
clippy::branches_sharing_code,
clippy::unnecessary_literal_unwrap
)]
fn test_complex_conditions() {
let x: Result<(), ()> = Ok(());
let y: Result<(), ()> = Ok(());
if x.is_ok() && y.is_err() {
// unnecessary
x.unwrap();
//~^ ERROR: called `unwrap` on `x` after checking its variant with `is_ok`
// will panic
x.unwrap_err();
//~^ ERROR: this call to `unwrap_err()` will always panic
// will panic
y.unwrap();
//~^ ERROR: this call to `unwrap()` will always panic
// unnecessary
y.unwrap_err();
//~^ ERROR: called `unwrap_err` on `y` after checking its variant with `is_err`
} else {
// not statically determinable whether any of the following will always succeed or always fail:
x.unwrap();
x.unwrap_err();
y.unwrap();
y.unwrap_err();
}
if x.is_ok() || y.is_ok() {
// not statically determinable whether any of the following will always succeed or always fail:
x.unwrap();
y.unwrap();
} else {
// will panic
x.unwrap();
//~^ ERROR: this call to `unwrap()` will always panic
// unnecessary
x.unwrap_err();
//~^ ERROR: called `unwrap_err` on `x` after checking its variant with `is_ok`
// will panic
y.unwrap();
//~^ ERROR: this call to `unwrap()` will always panic
// unnecessary
y.unwrap_err();
//~^ ERROR: called `unwrap_err` on `y` after checking its variant with `is_ok`
}
let z: Result<(), ()> = Ok(());
if x.is_ok() && !(y.is_ok() || z.is_err()) {
// unnecessary
x.unwrap();
//~^ ERROR: called `unwrap` on `x` after checking its variant with `is_ok`
// will panic
x.unwrap_err();
//~^ ERROR: this call to `unwrap_err()` will always panic
// will panic
y.unwrap();
//~^ ERROR: this call to `unwrap()` will always panic
// unnecessary
y.unwrap_err();
//~^ ERROR: called `unwrap_err` on `y` after checking its variant with `is_ok`
// unnecessary
z.unwrap();
//~^ ERROR: called `unwrap` on `z` after checking its variant with `is_err`
// will panic
z.unwrap_err();
//~^ ERROR: this call to `unwrap_err()` will always panic
}
if x.is_ok() || !(y.is_ok() && z.is_err()) {
// not statically determinable whether any of the following will always succeed or always fail:
x.unwrap();
y.unwrap();
z.unwrap();
} else {
// will panic
x.unwrap();
//~^ ERROR: this call to `unwrap()` will always panic
// unnecessary
x.unwrap_err();
//~^ ERROR: called `unwrap_err` on `x` after checking its variant with `is_ok`
// unnecessary
y.unwrap();
//~^ ERROR: called `unwrap` on `y` after checking its variant with `is_ok`
// will panic
y.unwrap_err();
//~^ ERROR: this call to `unwrap_err()` will always panic
// will panic
z.unwrap();
//~^ ERROR: this call to `unwrap()` will always panic
// unnecessary
z.unwrap_err();
//~^ ERROR: called `unwrap_err` on `z` after checking its variant with `is_err`
}
}
fn main() {}
|