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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
//@revisions: edition2018 edition2021
//@[edition2018] edition:2018
//@[edition2021] edition:2021
//@no-rustfix: need to change the suggestion to a multipart suggestion
#![warn(clippy::manual_assert)]
#![allow(dead_code, unused_doc_comments)]
#![allow(clippy::nonminimal_bool, clippy::uninlined_format_args, clippy::useless_vec)]
macro_rules! one {
() => {
1
};
}
fn main() {
let a = vec![1, 2, 3];
let c = Some(2);
if !a.is_empty()
&& a.len() == 3
&& c.is_some()
&& !a.is_empty()
&& a.len() == 3
&& !a.is_empty()
&& a.len() == 3
&& !a.is_empty()
&& a.len() == 3
{
panic!("qaqaq{:?}", a);
}
if !a.is_empty() {
//~^ manual_assert
panic!("qaqaq{:?}", a);
}
if !a.is_empty() {
//~^ manual_assert
panic!("qwqwq");
}
if a.len() == 3 {
println!("qwq");
println!("qwq");
println!("qwq");
}
if let Some(b) = c {
panic!("orz {}", b);
}
if a.len() == 3 {
panic!("qaqaq");
} else {
println!("qwq");
}
let b = vec![1, 2, 3];
if b.is_empty() {
//~^ manual_assert
panic!("panic1");
}
if b.is_empty() && a.is_empty() {
//~^ manual_assert
panic!("panic2");
}
if a.is_empty() && !b.is_empty() {
//~^ manual_assert
panic!("panic3");
}
if b.is_empty() || a.is_empty() {
//~^ manual_assert
panic!("panic4");
}
if a.is_empty() || !b.is_empty() {
//~^ manual_assert
panic!("panic5");
}
if a.is_empty() {
//~^ manual_assert
panic!("with expansion {}", one!())
}
if a.is_empty() {
let _ = 0;
} else if a.len() == 1 {
panic!("panic6");
}
}
fn issue7730(a: u8) {
// Suggestion should preserve comment
if a > 2 {
//~^ manual_assert
// comment
/* this is a
multiline
comment */
/// Doc comment
panic!("panic with comment") // comment after `panic!`
}
}
fn issue12505() {
struct Foo<T, const N: usize>(T);
impl<T, const N: usize> Foo<T, N> {
const BAR: () = if N == 0 {
//~^ manual_assert
panic!()
};
}
}
fn issue15227(left: u64, right: u64) -> u64 {
macro_rules! is_x86_feature_detected {
($feature:literal) => {
$feature.len() > 0 && $feature.starts_with("ss")
};
}
if !is_x86_feature_detected!("ssse3") {
//~^ manual_assert
panic!("SSSE3 is not supported");
}
unsafe { todo!() }
}
|
