Fix wrong spans with external macros in the dropping_copy_types lint

This commit is contained in:
Urgau
2025-08-15 11:59:23 +02:00
parent 8800ec1665
commit ae4eeb9299
4 changed files with 22 additions and 2 deletions

View File

@@ -151,7 +151,7 @@ impl<'tcx> LateLintPass<'tcx> for DropForgetUseless {
&& let Node::Stmt(stmt) = node
&& let StmtKind::Semi(e) = stmt.kind
&& e.hir_id == expr.hir_id
&& let Some(arg_span) = arg.span.find_ancestor_inside(expr.span)
&& let Some(arg_span) = arg.span.find_ancestor_inside_same_ctxt(expr.span)
{
UseLetUnderscoreIgnoreSuggestion::Suggestion {
start_span: expr.span.shrink_to_lo().until(arg_span),

View File

@@ -9,4 +9,7 @@ fn main() {
let mut msg = String::new();
let _ = writeln!(&mut msg, "test");
//~^ ERROR calls to `std::mem::drop`
let _ = format_args!("a");
//~^ ERROR calls to `std::mem::drop`
}

View File

@@ -9,4 +9,7 @@ fn main() {
let mut msg = String::new();
drop(writeln!(&mut msg, "test"));
//~^ ERROR calls to `std::mem::drop`
drop(format_args!("a"));
//~^ ERROR calls to `std::mem::drop`
}

View File

@@ -17,5 +17,19 @@ LL - drop(writeln!(&mut msg, "test"));
LL + let _ = writeln!(&mut msg, "test");
|
error: aborting due to 1 previous error
error: calls to `std::mem::drop` with a value that implements `Copy` does nothing
--> $DIR/dropping_copy_types-macros.rs:13:5
|
LL | drop(format_args!("a"));
| ^^^^^-----------------^
| |
| argument has type `Arguments<'_>`
|
help: use `let _ = ...` to ignore the expression or result
|
LL - drop(format_args!("a"));
LL + let _ = format_args!("a");
|
error: aborting due to 2 previous errors