1 files changed, 0 insertions, 28 deletions
diff --git a/src/docs/len_zero.txt b/src/docs/len_zero.txt
deleted file mode 100644
index 664124bd391..00000000000
--- a/src/docs/len_zero.txt
+++ /dev/null
@@ -1,28 +0,0 @@
-### What it does
-Checks for getting the length of something via `.len()`
-just to compare to zero, and suggests using `.is_empty()` where applicable.
-
-### Why is this bad?
-Some structures can answer `.is_empty()` much faster
-than calculating their length. So it is good to get into the habit of using
-`.is_empty()`, and having it is cheap.
-Besides, it makes the intent clearer than a manual comparison in some contexts.
-
-### Example
-```
-if x.len() == 0 {
-    ..
-}
-if y.len() != 0 {
-    ..
-}
-```
-instead use
-```
-if x.is_empty() {
-    ..
-}
-if !y.is_empty() {
-    ..
-}
-```
\ No newline at end of file