Skip to content

Commit f47165c

Browse files
y21y21
committed
find expansions more efficiently
1 parent 2820d98 commit f47165c

File tree

4 files changed

+44
-22
lines changed

4 files changed

+44
-22
lines changed

‎clippy_lints/src/useless_conversion.rs

Lines changed: 6 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,7 @@ declare_clippy_lint! {
4040
#[derive(Default)]
4141
pub struct UselessConversion {
4242
try_desugar_arm: Vec<HirId>,
43+
expn_depth: u32,
4344
}
4445

4546
impl_lint_pass!(UselessConversion => [USELESS_CONVERSION]);
@@ -102,21 +103,11 @@ fn into_iter_deep_call<'hir>(cx: &LateContext<'_>, mut expr: &'hir Expr<'hir>) -
102103
(expr, depth)
103104
}
104105

105-
/// Checks if the given `expr` is an argument of a macro invocation.
106-
/// This is a slow-ish operation, so consider calling this late
107-
/// to avoid slowing down the lint in the happy path when not emitting a warning
108-
fn is_macro_argument(cx: &LateContext<'_>, expr: &Expr<'_>) -> bool {
109-
if let Some(parent) = get_parent_expr(cx, expr) {
110-
parent.span.from_expansion() || is_macro_argument(cx, parent)
111-
} else {
112-
false
113-
}
114-
}
115-
116106
#[expect(clippy::too_many_lines)]
117107
impl<'tcx> LateLintPass<'tcx> for UselessConversion {
118108
fn check_expr(&mut self, cx: &LateContext<'tcx>, e: &'tcx Expr<'_>) {
119109
if e.span.from_expansion() {
110+
self.expn_depth += 1;
120111
return;
121112
}
122113

@@ -185,7 +176,7 @@ impl<'tcx> LateLintPass<'tcx> for UselessConversion {
185176
&& let Some(&into_iter_param) = sig.inputs().get(kind.param_pos(arg_pos))
186177
&& let ty::Param(param) = into_iter_param.kind()
187178
&& let Some(span) = into_iter_bound(cx, parent_fn_did, into_iter_did, param.index)
188-
&& !is_macro_argument(cx, e)
179+
&& self.expn_depth == 0
189180
{
190181
// Get the "innermost" `.into_iter()` call, e.g. given this expression:
191182
// `foo.into_iter().into_iter()`
@@ -321,5 +312,8 @@ impl<'tcx> LateLintPass<'tcx> for UselessConversion {
321312
if Some(&e.hir_id) == self.try_desugar_arm.last() {
322313
self.try_desugar_arm.pop();
323314
}
315+
if e.span.from_expansion() {
316+
self.expn_depth -= 1;
317+
}
324318
}
325319
}

‎tests/ui/useless_conversion.fixed

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -153,6 +153,20 @@ fn main() {
153153
let _ = vec![s4, s4, s4].into_iter();
154154
}
155155

156+
#[allow(dead_code)]
157+
fn issue11065_fp() {
158+
use std::option::IntoIter;
159+
fn takes_into_iter(_: impl IntoIterator<Item = i32>) {}
160+
161+
macro_rules! x {
162+
($e:expr) => {
163+
takes_into_iter($e);
164+
let _: IntoIter<i32> = $e; // removing `.into_iter()` leads to a type error here
165+
};
166+
}
167+
x!(Some(5).into_iter());
168+
}
169+
156170
#[allow(dead_code)]
157171
fn explicit_into_iter_fn_arg() {
158172
fn a<T>(_: T) {}

‎tests/ui/useless_conversion.rs

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -153,6 +153,20 @@ fn main() {
153153
let _ = vec![s4, s4, s4].into_iter().into_iter();
154154
}
155155

156+
#[allow(dead_code)]
157+
fn issue11065_fp() {
158+
use std::option::IntoIter;
159+
fn takes_into_iter(_: impl IntoIterator<Item = i32>) {}
160+
161+
macro_rules! x {
162+
($e:expr) => {
163+
takes_into_iter($e);
164+
let _: IntoIter<i32> = $e; // removing `.into_iter()` leads to a type error here
165+
};
166+
}
167+
x!(Some(5).into_iter());
168+
}
169+
156170
#[allow(dead_code)]
157171
fn explicit_into_iter_fn_arg() {
158172
fn a<T>(_: T) {}

‎tests/ui/useless_conversion.stderr

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -119,61 +119,61 @@ LL | let _ = vec![s4, s4, s4].into_iter().into_iter();
119119
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing `.into_iter()`: `vec![s4, s4, s4].into_iter()`
120120

121121
error: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
122-
--> $DIR/useless_conversion.rs:169:7
122+
--> $DIR/useless_conversion.rs:183:7
123123
|
124124
LL | b(vec![1, 2].into_iter());
125125
| ^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `vec![1, 2]`
126126
|
127127
note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()`
128-
--> $DIR/useless_conversion.rs:159:13
128+
--> $DIR/useless_conversion.rs:173:13
129129
|
130130
LL | fn b<T: IntoIterator<Item = i32>>(_: T) {}
131131
| ^^^^^^^^^^^^^^^^^^^^^^^^
132132

133133
error: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
134-
--> $DIR/useless_conversion.rs:170:7
134+
--> $DIR/useless_conversion.rs:184:7
135135
|
136136
LL | c(vec![1, 2].into_iter());
137137
| ^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `vec![1, 2]`
138138
|
139139
note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()`
140-
--> $DIR/useless_conversion.rs:160:18
140+
--> $DIR/useless_conversion.rs:174:18
141141
|
142142
LL | fn c(_: impl IntoIterator<Item = i32>) {}
143143
| ^^^^^^^^^^^^^^^^^^^^^^^^
144144

145145
error: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
146-
--> $DIR/useless_conversion.rs:171:7
146+
--> $DIR/useless_conversion.rs:185:7
147147
|
148148
LL | d(vec![1, 2].into_iter());
149149
| ^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`: `vec![1, 2]`
150150
|
151151
note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()`
152-
--> $DIR/useless_conversion.rs:163:12
152+
--> $DIR/useless_conversion.rs:177:12
153153
|
154154
LL | T: IntoIterator<Item = i32>,
155155
| ^^^^^^^^^^^^^^^^^^^^^^^^
156156

157157
error: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
158-
--> $DIR/useless_conversion.rs:174:7
158+
--> $DIR/useless_conversion.rs:188:7
159159
|
160160
LL | b(vec![1, 2].into_iter().into_iter());
161161
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`s: `vec![1, 2]`
162162
|
163163
note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()`
164-
--> $DIR/useless_conversion.rs:159:13
164+
--> $DIR/useless_conversion.rs:173:13
165165
|
166166
LL | fn b<T: IntoIterator<Item = i32>>(_: T) {}
167167
| ^^^^^^^^^^^^^^^^^^^^^^^^
168168

169169
error: explicit call to `.into_iter()` in function argument accepting `IntoIterator`
170-
--> $DIR/useless_conversion.rs:175:7
170+
--> $DIR/useless_conversion.rs:189:7
171171
|
172172
LL | b(vec![1, 2].into_iter().into_iter().into_iter());
173173
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: consider removing the `.into_iter()`s: `vec![1, 2]`
174174
|
175175
note: this parameter accepts any `IntoIterator`, so you don't need to call `.into_iter()`
176-
--> $DIR/useless_conversion.rs:159:13
176+
--> $DIR/useless_conversion.rs:173:13
177177
|
178178
LL | fn b<T: IntoIterator<Item = i32>>(_: T) {}
179179
| ^^^^^^^^^^^^^^^^^^^^^^^^

0 commit comments

Comments
 (0)