From deecfb5d13325d05842fb610a7ef506be4ac6175 Mon Sep 17 00:00:00 2001
From: Urcra <urcra@urcra.com>
Date: Mon, 26 Oct 2020 01:02:10 +0100
Subject: [PATCH] Add description to lint

---
 clippy_lints/src/len_zero.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/clippy_lints/src/len_zero.rs b/clippy_lints/src/len_zero.rs
index 75e9c5c973b..9eba3750d2a 100644
--- a/clippy_lints/src/len_zero.rs
+++ b/clippy_lints/src/len_zero.rs
@@ -102,7 +102,7 @@ declare_clippy_lint! {
     /// ```
     pub COMPARISON_TO_EMPTY,
     style,
-    "default lint description"
+    "checking `x == \"\"` or `x == []` (or similar) when `.is_empty()` could be used instead"
 }