diff --git a/clippy_lints/src/misc.rs b/clippy_lints/src/misc.rs index 38fdabaaf..980c4caf2 100644 --- a/clippy_lints/src/misc.rs +++ b/clippy_lints/src/misc.rs @@ -261,40 +261,45 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for MiscLints { } } - fn check_stmt(&mut self, cx: &LateContext<'a, 'tcx>, s: &'tcx Stmt) { + fn check_stmt(&mut self, cx: &LateContext<'a, 'tcx>, stmt: &'tcx Stmt) { if_chain! { - if let StmtKind::Local(ref l) = s.node; - if let PatKind::Binding(an, .., i, None) = l.pat.node; - if let Some(ref init) = l.init; + if let StmtKind::Local(ref local) = stmt.node; + if let PatKind::Binding(an, .., name, None) = local.pat.node; + if let Some(ref init) = local.init; then { if an == BindingAnnotation::Ref || an == BindingAnnotation::RefMut { - let sugg_init = Sugg::hir(cx, init, ".."); - let (mutopt,initref) = if an == BindingAnnotation::RefMut { + let sugg_init = if init.span.from_expansion() { + Sugg::hir_with_macro_callsite(cx, init, "..") + } else { + Sugg::hir(cx, init, "..") + }; + let (mutopt, initref) = if an == BindingAnnotation::RefMut { ("mut ", sugg_init.mut_addr()) } else { ("", sugg_init.addr()) }; - let tyopt = if let Some(ref ty) = l.ty { + let tyopt = if let Some(ref ty) = local.ty { format!(": &{mutopt}{ty}", mutopt=mutopt, ty=snippet(cx, ty.span, "_")) } else { String::new() }; - span_lint_hir_and_then(cx, + span_lint_hir_and_then( + cx, TOPLEVEL_REF_ARG, init.hir_id, - l.pat.span, + local.pat.span, "`ref` on an entire `let` pattern is discouraged, take a reference with `&` instead", |db| { db.span_suggestion( - s.span, + stmt.span, "try", format!( "let {name}{tyopt} = {initref};", - name=snippet(cx, i.span, "_"), + name=snippet(cx, name.span, "_"), tyopt=tyopt, initref=initref, ), - Applicability::MachineApplicable, // snippet + Applicability::MachineApplicable, ); } ); @@ -302,19 +307,19 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for MiscLints { } }; if_chain! { - if let StmtKind::Semi(ref expr) = s.node; + if let StmtKind::Semi(ref expr) = stmt.node; if let ExprKind::Binary(ref binop, ref a, ref b) = expr.node; if binop.node == BinOpKind::And || binop.node == BinOpKind::Or; if let Some(sugg) = Sugg::hir_opt(cx, a); then { span_lint_and_then(cx, SHORT_CIRCUIT_STATEMENT, - s.span, + stmt.span, "boolean short circuit operator in statement may be clearer using an explicit test", |db| { let sugg = if binop.node == BinOpKind::Or { !sugg } else { sugg }; db.span_suggestion( - s.span, + stmt.span, "replace it with", format!( "if {} {{ {}; }}", diff --git a/tests/ui/toplevel_ref_arg.fixed b/tests/ui/toplevel_ref_arg.fixed index 8a4bf5301..9438abbe3 100644 --- a/tests/ui/toplevel_ref_arg.fixed +++ b/tests/ui/toplevel_ref_arg.fixed @@ -1,25 +1,26 @@ // run-rustfix #![warn(clippy::toplevel_ref_arg)] -#![allow(unused)] fn main() { // Closures should not warn let y = |ref x| println!("{:?}", x); y(1u8); - let x = &1; + let _x = &1; - let y: &(&_, u8) = &(&1, 2); + let _y: &(&_, u8) = &(&1, 2); - let z = &(1 + 2); + let _z = &(1 + 2); - let z = &mut (1 + 2); + let _z = &mut (1 + 2); let (ref x, _) = (1, 2); // ok, not top level println!("The answer is {}.", x); + let _x = &vec![1, 2, 3]; + // Make sure that allowing the lint works #[allow(clippy::toplevel_ref_arg)] - let ref mut x = 1_234_543; + let ref mut _x = 1_234_543; } diff --git a/tests/ui/toplevel_ref_arg.rs b/tests/ui/toplevel_ref_arg.rs index 7d5eaa940..ee630f12a 100644 --- a/tests/ui/toplevel_ref_arg.rs +++ b/tests/ui/toplevel_ref_arg.rs @@ -1,25 +1,26 @@ // run-rustfix #![warn(clippy::toplevel_ref_arg)] -#![allow(unused)] fn main() { // Closures should not warn let y = |ref x| println!("{:?}", x); y(1u8); - let ref x = 1; + let ref _x = 1; - let ref y: (&_, u8) = (&1, 2); + let ref _y: (&_, u8) = (&1, 2); - let ref z = 1 + 2; + let ref _z = 1 + 2; - let ref mut z = 1 + 2; + let ref mut _z = 1 + 2; let (ref x, _) = (1, 2); // ok, not top level println!("The answer is {}.", x); + let ref _x = vec![1, 2, 3]; + // Make sure that allowing the lint works #[allow(clippy::toplevel_ref_arg)] - let ref mut x = 1_234_543; + let ref mut _x = 1_234_543; } diff --git a/tests/ui/toplevel_ref_arg.stderr b/tests/ui/toplevel_ref_arg.stderr index de80a9614..19d694967 100644 --- a/tests/ui/toplevel_ref_arg.stderr +++ b/tests/ui/toplevel_ref_arg.stderr @@ -1,28 +1,34 @@ error: `ref` on an entire `let` pattern is discouraged, take a reference with `&` instead - --> $DIR/toplevel_ref_arg.rs:11:9 + --> $DIR/toplevel_ref_arg.rs:10:9 | -LL | let ref x = 1; - | ----^^^^^----- help: try: `let x = &1;` +LL | let ref _x = 1; + | ----^^^^^^----- help: try: `let _x = &1;` | = note: `-D clippy::toplevel-ref-arg` implied by `-D warnings` error: `ref` on an entire `let` pattern is discouraged, take a reference with `&` instead - --> $DIR/toplevel_ref_arg.rs:13:9 + --> $DIR/toplevel_ref_arg.rs:12:9 | -LL | let ref y: (&_, u8) = (&1, 2); - | ----^^^^^--------------------- help: try: `let y: &(&_, u8) = &(&1, 2);` +LL | let ref _y: (&_, u8) = (&1, 2); + | ----^^^^^^--------------------- help: try: `let _y: &(&_, u8) = &(&1, 2);` error: `ref` on an entire `let` pattern is discouraged, take a reference with `&` instead - --> $DIR/toplevel_ref_arg.rs:15:9 + --> $DIR/toplevel_ref_arg.rs:14:9 | -LL | let ref z = 1 + 2; - | ----^^^^^--------- help: try: `let z = &(1 + 2);` +LL | let ref _z = 1 + 2; + | ----^^^^^^--------- help: try: `let _z = &(1 + 2);` error: `ref` on an entire `let` pattern is discouraged, take a reference with `&` instead - --> $DIR/toplevel_ref_arg.rs:17:9 + --> $DIR/toplevel_ref_arg.rs:16:9 | -LL | let ref mut z = 1 + 2; - | ----^^^^^^^^^--------- help: try: `let z = &mut (1 + 2);` +LL | let ref mut _z = 1 + 2; + | ----^^^^^^^^^^--------- help: try: `let _z = &mut (1 + 2);` -error: aborting due to 4 previous errors +error: `ref` on an entire `let` pattern is discouraged, take a reference with `&` instead + --> $DIR/toplevel_ref_arg.rs:21:9 + | +LL | let ref _x = vec![1, 2, 3]; + | ----^^^^^^----------------- help: try: `let _x = &vec![1, 2, 3];` + +error: aborting due to 5 previous errors