Add empty closure lint

Author: ThibsG

CHANGELOG.md

@@ -1242,6 +1242,7 @@ Released 2018-09-13
 [`duplicate_underscore_argument`]: https://rust-lang.github.io/rust-clippy/master/index.html#duplicate_underscore_argument
 [`duration_subsec`]: https://rust-lang.github.io/rust-clippy/master/index.html#duration_subsec
 [`else_if_without_else`]: https://rust-lang.github.io/rust-clippy/master/index.html#else_if_without_else
+[`empty_closure`]: https://rust-lang.github.io/rust-clippy/master/index.html#empty_closure
 [`empty_enum`]: https://rust-lang.github.io/rust-clippy/master/index.html#empty_enum
 [`empty_line_after_outer_attr`]: https://rust-lang.github.io/rust-clippy/master/index.html#empty_line_after_outer_attr
 [`empty_loop`]: https://rust-lang.github.io/rust-clippy/master/index.html#empty_loop

README.md

@@ -5,7 +5,7 @@
 
 A collection of lints to catch common mistakes and improve your [Rust](https://github.com/rust-lang/rust) code.
 
-[There are 361 lints included in this crate!](https://rust-lang.github.io/rust-clippy/master/index.html)
+[There are 362 lints included in this crate!](https://rust-lang.github.io/rust-clippy/master/index.html)
 
 We have a bunch of lint categories to allow you to choose how much Clippy is supposed to ~~annoy~~ help you:
 

clippy_lints/src/empty_closure.rs

@@ -0,0 +1,43 @@
+use crate::utils::span_lint;
+use if_chain::if_chain;
+use rustc_hir::{Expr, ExprKind};
+use rustc_lint::{LateContext, LateLintPass};
+use rustc_session::{declare_lint_pass, declare_tool_lint};
+
+declare_clippy_lint! {
+    /// **What it does:** Checks for empty closure.
+    ///
+    /// **Why is this bad?** Empty closure does nothing, thus it can be removed.
+    ///
+    /// **Known problems:** None.
+    ///
+    /// **Example:**
+    ///
+    /// ```rust
+    /// std::thread::spawn(|| {});
+    /// ```
+    pub EMPTY_CLOSURE,
+    style,
+    "closure with empty body"
+}
+
+declare_lint_pass!(EmptyClosure => [EMPTY_CLOSURE]);
+
+impl LateLintPass<'_, '_> for EmptyClosure {
+    fn check_expr(&mut self, cx: &LateContext<'_, '_>, expr: &'_ Expr<'_>) {
+        if_chain! {
+            if let ExprKind::Closure(_, _, body_id, ..) = expr.kind;
+            let body = cx.tcx.hir().body(body_id);
+            if let ExprKind::Block(ref b, _) = body.value.kind;
+            if b.stmts.is_empty() && b.expr.is_none();
+            then {
+                span_lint(
+                    cx,
+                    EMPTY_CLOSURE,
+                    expr.span,
+                    "Empty closure may be removed",
+                );
+            }
+        }
+    }
+}

clippy_lints/src/lib.rs

@@ -197,6 +197,7 @@ pub mod drop_bounds;
 pub mod drop_forget_ref;
 pub mod duration_subsec;
 pub mod else_if_without_else;
+pub mod empty_closure;
 pub mod empty_enum;
 pub mod entry;
 pub mod enum_clike;
@@ -521,6 +522,7 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
         &drop_forget_ref::FORGET_REF,
         &duration_subsec::DURATION_SUBSEC,
         &else_if_without_else::ELSE_IF_WITHOUT_ELSE,
+        &empty_closure::EMPTY_CLOSURE,
         &empty_enum::EMPTY_ENUM,
         &entry::MAP_ENTRY,
         &enum_clike::ENUM_CLIKE_UNPORTABLE_VARIANT,
@@ -1021,6 +1023,7 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
     store.register_late_pass(|| box wildcard_imports::WildcardImports);
     store.register_early_pass(|| box macro_use::MacroUseImports);
     store.register_late_pass(|| box verbose_file_reads::VerboseFileReads);
+    store.register_late_pass(|| box empty_closure::EmptyClosure);
 
     store.register_group(true, "clippy::restriction", Some("clippy_restriction"), vec![
         LintId::of(&arithmetic::FLOAT_ARITHMETIC),
@@ -1166,6 +1169,7 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
         LintId::of(&drop_forget_ref::FORGET_COPY),
         LintId::of(&drop_forget_ref::FORGET_REF),
         LintId::of(&duration_subsec::DURATION_SUBSEC),
+        LintId::of(&empty_closure::EMPTY_CLOSURE),
         LintId::of(&entry::MAP_ENTRY),
         LintId::of(&enum_clike::ENUM_CLIKE_UNPORTABLE_VARIANT),
         LintId::of(&enum_variants::ENUM_VARIANT_NAMES),
@@ -1400,6 +1404,7 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
         LintId::of(&comparison_chain::COMPARISON_CHAIN),
         LintId::of(&doc::MISSING_SAFETY_DOC),
         LintId::of(&doc::NEEDLESS_DOCTEST_MAIN),
+        LintId::of(&empty_closure::EMPTY_CLOSURE),
         LintId::of(&enum_variants::ENUM_VARIANT_NAMES),
         LintId::of(&enum_variants::MODULE_INCEPTION),
         LintId::of(&eq_op::OP_REF),

src/lintlist/mod.rs

@@ -6,7 +6,7 @@ pub use lint::Lint;
 pub use lint::LINT_LEVELS;
 
 // begin lint list, do not remove this comment, it’s used in `update_lints`
-pub const ALL_LINTS: [Lint; 361] = [
+pub const ALL_LINTS: [Lint; 362] = [
     Lint {
         name: "absurd_extreme_comparisons",
         group: "correctness",
@@ -427,6 +427,13 @@ pub const ALL_LINTS: [Lint; 361] = [
         deprecation: None,
         module: "else_if_without_else",
     },
+    Lint {
+        name: "empty_closure",
+        group: "style",
+        desc: "closure with empty body",
+        deprecation: None,
+        module: "empty_closure",
+    },
     Lint {
         name: "empty_enum",
         group: "pedantic",

tests/ui/empty_closure.rs

@@ -0,0 +1,8 @@
+#![warn(clippy::empty_closure)]
+
+fn main() {
+    // Lint
+    std::thread::spawn(|| {});
+    // Lint
+    vec![0, 1, 2].iter().map(|_| {}).collect::<Vec<()>>();
+}

tests/ui/empty_closure.stderr

@@ -0,0 +1,16 @@
+error: Empty closure may be removed
+  --> $DIR/empty_closure.rs:5:24
+   |
+LL |     std::thread::spawn(|| {});
+   |                        ^^^^^
+   |
+   = note: `-D clippy::empty-closure` implied by `-D warnings`
+
+error: Empty closure may be removed
+  --> $DIR/empty_closure.rs:7:30
+   |
+LL |     vec![0, 1, 2].iter().map(|_| {}).collect::<Vec<()>>();
+   |                              ^^^^^^
+
+error: aborting due to 2 previous errors
+