Skip to content

Commit 494605f

Browse files
GuillaumeGomezGuillaumeGomez
committed
Add regression test for manual_is_variant_and extension
1 parent 95648f1 commit 494605f

File tree

3 files changed

+175
-9
lines changed

3 files changed

+175
-9
lines changed

‎tests/ui/manual_is_variant_and.fixed‎

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,44 @@
44
#[macro_use]
55
extern crate option_helpers;
66

7+
struct Foo<T>(T);
8+
9+
impl<T> Foo<T> {
10+
fn map<F: FnMut(T) -> bool>(self, mut f: F) -> Option<bool> {
11+
Some(f(self.0))
12+
}
13+
}
14+
15+
fn foo() -> Option<bool> {
16+
Some(true)
17+
}
18+
19+
macro_rules! some_true {
20+
() => {
21+
Some(true)
22+
};
23+
}
24+
macro_rules! some_false {
25+
() => {
26+
Some(false)
27+
};
28+
}
29+
30+
macro_rules! mac {
31+
(some $e:expr) => {
32+
Some($e)
33+
};
34+
(some_map $e:expr) => {
35+
Some($e).map(|x| x % 2 == 0)
36+
};
37+
(map $e:expr) => {
38+
$e.map(|x| x % 2 == 0)
39+
};
40+
(eq $a:expr, $b:expr) => {
41+
$a == $b
42+
};
43+
}
44+
745
#[rustfmt::skip]
846
fn option_methods() {
947
let opt = Some(1);
@@ -21,13 +59,30 @@ fn option_methods() {
2159
let _ = opt
2260
.is_some_and(|x| x > 1);
2361

62+
let _ = Some(2).is_some_and(|x| x % 2 == 0);
63+
//~^ manual_is_variant_and
64+
let _ = Some(2).is_none_or(|x| x % 2 == 0);
65+
//~^ manual_is_variant_and
66+
let _ = Some(2).is_some_and(|x| x % 2 == 0);
67+
//~^ manual_is_variant_and
68+
let _ = Some(2).is_none_or(|x| x % 2 == 0);
69+
//~^ manual_is_variant_and
70+
2471
// won't fix because the return type of the closure is not `bool`
2572
let _ = opt.map(|x| x + 1).unwrap_or_default();
2673

2774
let opt2 = Some('a');
2875
let _ = opt2.is_some_and(char::is_alphanumeric); // should lint
2976
//~^ manual_is_variant_and
3077
let _ = opt_map!(opt2, |x| x == 'a').unwrap_or_default(); // should not lint
78+
79+
// Should not lint.
80+
let _ = Foo::<u32>(0).map(|x| x % 2 == 0) == Some(true);
81+
let _ = Some(2).map(|x| x % 2 == 0) != foo();
82+
let _ = mac!(eq Some(2).map(|x| x % 2 == 0), Some(true));
83+
let _ = mac!(some 2).map(|x| x % 2 == 0) == Some(true);
84+
let _ = mac!(some_map 2) == Some(true);
85+
let _ = mac!(map Some(2)) == Some(true);
3186
}
3287

3388
#[rustfmt::skip]
@@ -41,6 +96,13 @@ fn result_methods() {
4196
});
4297
let _ = res.is_ok_and(|x| x > 1);
4398

99+
let _ = Ok::<usize, ()>(2).is_ok_and(|x| x % 2 == 0);
100+
//~^ manual_is_variant_and
101+
let _ = !Ok::<usize, ()>(2).is_ok_and(|x| x % 2 == 0);
102+
//~^ manual_is_variant_and
103+
let _ = !Ok::<usize, ()>(2).is_ok_and(|x| x % 2 == 0);
104+
//~^ manual_is_variant_and
105+
44106
// won't fix because the return type of the closure is not `bool`
45107
let _ = res.map(|x| x + 1).unwrap_or_default();
46108

‎tests/ui/manual_is_variant_and.rs‎

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,44 @@
44
#[macro_use]
55
extern crate option_helpers;
66

7+
struct Foo<T>(T);
8+
9+
impl<T> Foo<T> {
10+
fn map<F: FnMut(T) -> bool>(self, mut f: F) -> Option<bool> {
11+
Some(f(self.0))
12+
}
13+
}
14+
15+
fn foo() -> Option<bool> {
16+
Some(true)
17+
}
18+
19+
macro_rules! some_true {
20+
() => {
21+
Some(true)
22+
};
23+
}
24+
macro_rules! some_false {
25+
() => {
26+
Some(false)
27+
};
28+
}
29+
30+
macro_rules! mac {
31+
(some $e:expr) => {
32+
Some($e)
33+
};
34+
(some_map $e:expr) => {
35+
Some($e).map(|x| x % 2 == 0)
36+
};
37+
(map $e:expr) => {
38+
$e.map(|x| x % 2 == 0)
39+
};
40+
(eq $a:expr, $b:expr) => {
41+
$a == $b
42+
};
43+
}
44+
745
#[rustfmt::skip]
846
fn option_methods() {
947
let opt = Some(1);
@@ -27,13 +65,30 @@ fn option_methods() {
2765
//~^ manual_is_variant_and
2866
.unwrap_or_default();
2967

68+
let _ = Some(2).map(|x| x % 2 == 0) == Some(true);
69+
//~^ manual_is_variant_and
70+
let _ = Some(2).map(|x| x % 2 == 0) != Some(true);
71+
//~^ manual_is_variant_and
72+
let _ = Some(2).map(|x| x % 2 == 0) == some_true!();
73+
//~^ manual_is_variant_and
74+
let _ = Some(2).map(|x| x % 2 == 0) != some_false!();
75+
//~^ manual_is_variant_and
76+
3077
// won't fix because the return type of the closure is not `bool`
3178
let _ = opt.map(|x| x + 1).unwrap_or_default();
3279

3380
let opt2 = Some('a');
3481
let _ = opt2.map(char::is_alphanumeric).unwrap_or_default(); // should lint
3582
//~^ manual_is_variant_and
3683
let _ = opt_map!(opt2, |x| x == 'a').unwrap_or_default(); // should not lint
84+
85+
// Should not lint.
86+
let _ = Foo::<u32>(0).map(|x| x % 2 == 0) == Some(true);
87+
let _ = Some(2).map(|x| x % 2 == 0) != foo();
88+
let _ = mac!(eq Some(2).map(|x| x % 2 == 0), Some(true));
89+
let _ = mac!(some 2).map(|x| x % 2 == 0) == Some(true);
90+
let _ = mac!(some_map 2) == Some(true);
91+
let _ = mac!(map Some(2)) == Some(true);
3792
}
3893

3994
#[rustfmt::skip]
@@ -50,6 +105,13 @@ fn result_methods() {
50105
//~^ manual_is_variant_and
51106
.unwrap_or_default();
52107

108+
let _ = Ok::<usize, ()>(2).map(|x| x % 2 == 0) == Ok(true);
109+
//~^ manual_is_variant_and
110+
let _ = Ok::<usize, ()>(2).map(|x| x % 2 == 0) != Ok(true);
111+
//~^ manual_is_variant_and
112+
let _ = Ok::<usize, ()>(2).map(|x| x % 2 == 0) != Ok(true);
113+
//~^ manual_is_variant_and
114+
53115
// won't fix because the return type of the closure is not `bool`
54116
let _ = res.map(|x| x + 1).unwrap_or_default();
55117

‎tests/ui/manual_is_variant_and.stderr‎

Lines changed: 51 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: called `map(<f>).unwrap_or_default()` on an `Option` value
2-
--> tests/ui/manual_is_variant_and.rs:13:17
2+
--> tests/ui/manual_is_variant_and.rs:51:17
33
|
44
LL | let _ = opt.map(|x| x > 1)
55
| _________________^
@@ -11,7 +11,7 @@ LL | | .unwrap_or_default();
1111
= help: to override `-D warnings` add `#[allow(clippy::manual_is_variant_and)]`
1212

1313
error: called `map(<f>).unwrap_or_default()` on an `Option` value
14-
--> tests/ui/manual_is_variant_and.rs:18:17
14+
--> tests/ui/manual_is_variant_and.rs:56:17
1515
|
1616
LL | let _ = opt.map(|x| {
1717
| _________________^
@@ -30,28 +30,52 @@ LL ~ });
3030
|
3131

3232
error: called `map(<f>).unwrap_or_default()` on an `Option` value
33-
--> tests/ui/manual_is_variant_and.rs:23:17
33+
--> tests/ui/manual_is_variant_and.rs:61:17
3434
|
3535
LL | let _ = opt.map(|x| x > 1).unwrap_or_default();
3636
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `is_some_and(|x| x > 1)`
3737

3838
error: called `map(<f>).unwrap_or_default()` on an `Option` value
39-
--> tests/ui/manual_is_variant_and.rs:26:10
39+
--> tests/ui/manual_is_variant_and.rs:64:10
4040
|
4141
LL | .map(|x| x > 1)
4242
| __________^
4343
LL | |
4444
LL | | .unwrap_or_default();
4545
| |____________________________^ help: use: `is_some_and(|x| x > 1)`
4646

47+
error: called `.map() == Some()`
48+
--> tests/ui/manual_is_variant_and.rs:68:13
49+
|
50+
LL | let _ = Some(2).map(|x| x % 2 == 0) == Some(true);
51+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `Some(2).is_some_and(|x| x % 2 == 0)`
52+
53+
error: called `.map() != Some()`
54+
--> tests/ui/manual_is_variant_and.rs:70:13
55+
|
56+
LL | let _ = Some(2).map(|x| x % 2 == 0) != Some(true);
57+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `Some(2).is_none_or(|x| x % 2 == 0)`
58+
59+
error: called `.map() == Some()`
60+
--> tests/ui/manual_is_variant_and.rs:72:13
61+
|
62+
LL | let _ = Some(2).map(|x| x % 2 == 0) == some_true!();
63+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `Some(2).is_some_and(|x| x % 2 == 0)`
64+
65+
error: called `.map() != Some()`
66+
--> tests/ui/manual_is_variant_and.rs:74:13
67+
|
68+
LL | let _ = Some(2).map(|x| x % 2 == 0) != some_false!();
69+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `Some(2).is_none_or(|x| x % 2 == 0)`
70+
4771
error: called `map(<f>).unwrap_or_default()` on an `Option` value
48-
--> tests/ui/manual_is_variant_and.rs:34:18
72+
--> tests/ui/manual_is_variant_and.rs:81:18
4973
|
5074
LL | let _ = opt2.map(char::is_alphanumeric).unwrap_or_default(); // should lint
5175
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `is_some_and(char::is_alphanumeric)`
5276

5377
error: called `map(<f>).unwrap_or_default()` on a `Result` value
54-
--> tests/ui/manual_is_variant_and.rs:44:17
78+
--> tests/ui/manual_is_variant_and.rs:99:17
5579
|
5680
LL | let _ = res.map(|x| {
5781
| _________________^
@@ -70,19 +94,37 @@ LL ~ });
7094
|
7195

7296
error: called `map(<f>).unwrap_or_default()` on a `Result` value
73-
--> tests/ui/manual_is_variant_and.rs:49:17
97+
--> tests/ui/manual_is_variant_and.rs:104:17
7498
|
7599
LL | let _ = res.map(|x| x > 1)
76100
| _________________^
77101
LL | |
78102
LL | | .unwrap_or_default();
79103
| |____________________________^ help: use: `is_ok_and(|x| x > 1)`
80104

105+
error: called `.map() == Ok()`
106+
--> tests/ui/manual_is_variant_and.rs:108:13
107+
|
108+
LL | let _ = Ok::<usize, ()>(2).map(|x| x % 2 == 0) == Ok(true);
109+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `Ok::<usize, ()>(2).is_ok_and(|x| x % 2 == 0)`
110+
111+
error: called `.map() != Ok()`
112+
--> tests/ui/manual_is_variant_and.rs:110:13
113+
|
114+
LL | let _ = Ok::<usize, ()>(2).map(|x| x % 2 == 0) != Ok(true);
115+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `!Ok::<usize, ()>(2).is_ok_and(|x| x % 2 == 0)`
116+
117+
error: called `.map() != Ok()`
118+
--> tests/ui/manual_is_variant_and.rs:112:13
119+
|
120+
LL | let _ = Ok::<usize, ()>(2).map(|x| x % 2 == 0) != Ok(true);
121+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `!Ok::<usize, ()>(2).is_ok_and(|x| x % 2 == 0)`
122+
81123
error: called `map(<f>).unwrap_or_default()` on a `Result` value
82-
--> tests/ui/manual_is_variant_and.rs:57:18
124+
--> tests/ui/manual_is_variant_and.rs:119:18
83125
|
84126
LL | let _ = res2.map(char::is_alphanumeric).unwrap_or_default(); // should lint
85127
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use: `is_ok_and(char::is_alphanumeric)`
86128

87-
error: aborting due to 8 previous errors
129+
error: aborting due to 15 previous errors
88130

0 commit comments

Comments
 (0)