Add description to lint

2020-10-26 01:02:10 +01:00 · 2020-10-26 01:02:10 +01:00 · deecfb5d13
commit deecfb5d13
parent 4417af801d
1 changed files with 1 additions and 1 deletions
--- 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"
 }