Skip to content

Commit 91d099d

Browse files
ABouttefeuxABouttefeux
committed
add extraction of fmt parameter
1 parent a6d270b commit 91d099d

File tree

3 files changed

+56
-12
lines changed

3 files changed

+56
-12
lines changed

‎clippy_utils/src/higher.rs‎

Lines changed: 32 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -430,12 +430,42 @@ pub fn extract_assert_macro_args<'tcx>(e: &'tcx Expr<'tcx>) -> Option<Vec<&'tcx
430430
/// compared
431431
fn ast_matchblock(matchblock_expr: &'tcx Expr<'tcx>) -> Option<Vec<&Expr<'_>>> {
432432
if_chain! {
433-
if let ExprKind::Match(headerexpr, _, _) = &matchblock_expr.kind;
433+
if let ExprKind::Match(headerexpr, arms, _) = &matchblock_expr.kind;
434434
if let ExprKind::Tup([lhs, rhs]) = &headerexpr.kind;
435435
if let ExprKind::AddrOf(BorrowKind::Ref, _, lhs) = lhs.kind;
436436
if let ExprKind::AddrOf(BorrowKind::Ref, _, rhs) = rhs.kind;
437437
then {
438-
return Some(vec![lhs, rhs]);
438+
let mut vec_arg = vec![lhs, rhs];
439+
if_chain! {
440+
if !arms.is_empty();
441+
if let ExprKind::Block(Block{expr: Some(if_expr),..},_) = arms[0].body.kind;
442+
if let ExprKind::If(_, if_block, _) = if_expr.kind;
443+
if let ExprKind::Block(Block{stmts: stmts_if_block,..},_) = if_block.kind;
444+
if stmts_if_block.len() >= 2;
445+
if let StmtKind::Expr(call_assert_failed)
446+
| StmtKind::Semi(call_assert_failed) = stmts_if_block[1].kind;
447+
if let ExprKind::Call(_, args_assert_failed) = call_assert_failed.kind;
448+
if args_assert_failed.len() >= 4;
449+
if let ExprKind::Call(_, args) = args_assert_failed[3].kind;
450+
if !args.is_empty();
451+
if let ExprKind::Call(_, args_fmt) = args[0].kind;
452+
if !args_fmt.is_empty();
453+
then {
454+
vec_arg.push(&args_fmt[0]);
455+
if_chain! {
456+
if args_fmt.len() >= 2;
457+
if let ExprKind::AddrOf(_, _, expr_match) = args_fmt[1].kind;
458+
if let ExprKind::Match(tup_match, _, _) = expr_match.kind;
459+
if let ExprKind::Tup(tup_args_list) = tup_match.kind;
460+
then{
461+
for arg in tup_args_list {
462+
vec_arg.push(arg);
463+
}
464+
}
465+
}
466+
}
467+
}
468+
return Some(vec_arg);
439469
}
440470
}
441471
None

‎tests/ui/bool_assert_comparison.rs‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -112,11 +112,13 @@ fn main() {
112112
assert_eq!("a".is_empty(), false, "tadam {}", true);
113113
assert_eq!(false, "a".is_empty(), "tadam {}", true);
114114
assert_eq!(a, true, "tadam {}", false);
115+
assert_eq!("a".is_empty(), true, "tadam {} {}", false, 6);
115116

116117
debug_assert_eq!("a".len(), 1, "tadam {}", 1);
117118
debug_assert_eq!("a".len(), 1, "tadam {}", true);
118119
debug_assert_eq!("a".is_empty(), false, "tadam {}", 1);
119120
debug_assert_eq!("a".is_empty(), false, "tadam {}", true);
120121
debug_assert_eq!(false, "a".is_empty(), "tadam {}", true);
121122
debug_assert_eq!(a, true, "tadam {}", false);
123+
debug_assert_eq!("a".is_empty(), true, "tadam {} {}", false, "b");
122124
}

‎tests/ui/bool_assert_comparison.stderr‎

Lines changed: 22 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -100,37 +100,49 @@ error: used `assert_eq!` with a literal bool
100100
--> $DIR/bool_assert_comparison.rs:111:5
101101
|
102102
LL | assert_eq!("a".is_empty(), false, "tadam {}", 1);
103-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assert!(!("a".is_empty()))`
103+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assert!(!("a".is_empty()), "tadam {}", 1)`
104104

105105
error: used `assert_eq!` with a literal bool
106106
--> $DIR/bool_assert_comparison.rs:112:5
107107
|
108108
LL | assert_eq!("a".is_empty(), false, "tadam {}", true);
109-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assert!(!("a".is_empty()))`
109+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assert!(!("a".is_empty()), "tadam {}", true)`
110110

111111
error: used `assert_eq!` with a literal bool
112112
--> $DIR/bool_assert_comparison.rs:113:5
113113
|
114114
LL | assert_eq!(false, "a".is_empty(), "tadam {}", true);
115-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assert!(!("a".is_empty()))`
115+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assert!(!("a".is_empty()), "tadam {}", true)`
116+
117+
error: used `assert_eq!` with a literal bool
118+
--> $DIR/bool_assert_comparison.rs:115:5
119+
|
120+
LL | assert_eq!("a".is_empty(), true, "tadam {} {}", false, 6);
121+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `assert!("a".is_empty(), "tadam {} {}", false, 6)`
116122

117123
error: used `debug_assert_eq!` with a literal bool
118-
--> $DIR/bool_assert_comparison.rs:118:5
124+
--> $DIR/bool_assert_comparison.rs:119:5
119125
|
120126
LL | debug_assert_eq!("a".is_empty(), false, "tadam {}", 1);
121-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `debug_assert!(!("a".is_empty()))`
127+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `debug_assert!(!("a".is_empty()), "tadam {}", 1)`
122128

123129
error: used `debug_assert_eq!` with a literal bool
124-
--> $DIR/bool_assert_comparison.rs:119:5
130+
--> $DIR/bool_assert_comparison.rs:120:5
125131
|
126132
LL | debug_assert_eq!("a".is_empty(), false, "tadam {}", true);
127-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `debug_assert!(!("a".is_empty()))`
133+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `debug_assert!(!("a".is_empty()), "tadam {}", true)`
128134

129135
error: used `debug_assert_eq!` with a literal bool
130-
--> $DIR/bool_assert_comparison.rs:120:5
136+
--> $DIR/bool_assert_comparison.rs:121:5
131137
|
132138
LL | debug_assert_eq!(false, "a".is_empty(), "tadam {}", true);
133-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `debug_assert!(!("a".is_empty()))`
139+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `debug_assert!(!("a".is_empty()), "tadam {}", true)`
140+
141+
error: used `debug_assert_eq!` with a literal bool
142+
--> $DIR/bool_assert_comparison.rs:123:5
143+
|
144+
LL | debug_assert_eq!("a".is_empty(), true, "tadam {} {}", false, "b");
145+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: replace it with: `debug_assert!("a".is_empty(), "tadam {} {}", false, "b")`
134146

135-
error: aborting due to 22 previous errors
147+
error: aborting due to 24 previous errors
136148

0 commit comments

Comments
 (0)