Fix dropping_copy_types lint from linting in match-arm with side-effects
This commit is contained in:
parent
e69c7306e2
commit
908574b5e7
@ -194,7 +194,7 @@ fn is_single_call_in_arm<'tcx>(
|
|||||||
arg: &'tcx Expr<'_>,
|
arg: &'tcx Expr<'_>,
|
||||||
drop_expr: &'tcx Expr<'_>,
|
drop_expr: &'tcx Expr<'_>,
|
||||||
) -> bool {
|
) -> bool {
|
||||||
if matches!(arg.kind, ExprKind::Call(..) | ExprKind::MethodCall(..)) {
|
if arg.can_have_side_effects() {
|
||||||
let parent_node = cx.tcx.hir().find_parent(drop_expr.hir_id);
|
let parent_node = cx.tcx.hir().find_parent(drop_expr.hir_id);
|
||||||
if let Some(Node::Arm(Arm { body, .. })) = &parent_node {
|
if let Some(Node::Arm(Arm { body, .. })) = &parent_node {
|
||||||
return body.hir_id == drop_expr.hir_id;
|
return body.hir_id == drop_expr.hir_id;
|
||||||
|
@ -77,3 +77,22 @@ fn issue9482(x: u8) {
|
|||||||
_ => (),
|
_ => (),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn issue112653() {
|
||||||
|
fn foo() -> Result<u8, ()> {
|
||||||
|
println!("doing foo");
|
||||||
|
Ok(0) // result is not always useful, the side-effect matters
|
||||||
|
}
|
||||||
|
fn bar() {
|
||||||
|
println!("doing bar");
|
||||||
|
}
|
||||||
|
|
||||||
|
fn stuff() -> Result<(), ()> {
|
||||||
|
match 42 {
|
||||||
|
0 => drop(foo()?), // drop is needed because we only care about side-effects
|
||||||
|
1 => bar(),
|
||||||
|
_ => (), // doing nothing (no side-effects needed here)
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
@ -97,3 +97,22 @@ fn issue10122(x: u8) {
|
|||||||
_ => (),
|
_ => (),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn issue112653() {
|
||||||
|
fn foo() -> Result<&'static u8, ()> {
|
||||||
|
println!("doing foo");
|
||||||
|
Ok(&0) // result is not always useful, the side-effect matters
|
||||||
|
}
|
||||||
|
fn bar() {
|
||||||
|
println!("doing bar");
|
||||||
|
}
|
||||||
|
|
||||||
|
fn stuff() -> Result<(), ()> {
|
||||||
|
match 42 {
|
||||||
|
0 => drop(foo()?), // drop is needed because we only care about side-effects
|
||||||
|
1 => bar(),
|
||||||
|
_ => (), // doing nothing (no side-effects needed here)
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user