clippy: Prefer .len() > 0 to ! .is_empty()

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/base/html.rs b/base/html.rs
index 304a7082852d8daa4d9d77628e92dd7aa99932af..c26c430e5adf7a93e965c7fcb729a21478885f1a 100644 (file)
--- a/base/html.rs
+++ b/base/html.rs
@@ -100,7 +100,6 @@ impl HtmlStr {
     let s = unsafe { mem::transmute::<&'s str, &'s HtmlStr>(s) };
     s
   }
-  #[allow(clippy::len_without_is_empty)]
   pub fn len(&self) -> usize { self.0.len() }
   pub fn as_html_str(&self) -> &str { &self.0 }
 }

diff --git a/clippy-options b/clippy-options
index 76a721a04800c6193f30b1fa4aaf93781a48f88f..7616a54e392abaa8a0b1fe8193a863cc4e2a7bd8 100644 (file)
--- a/clippy-options
+++ b/clippy-options
@@ -20,3 +20,5 @@
 -A clippy::type_complexity
 -A clippy::redundant_closure
 -A clippy::useless_format
+-A clippy::len_zero
+-A clippy::len_without_is_empty # I prefer comparing .len() to 0, apparently