1 files changed, 0 insertions, 17 deletions
diff --git a/src/docs/double_must_use.txt b/src/docs/double_must_use.txt
deleted file mode 100644
index 0017d10d40d..00000000000
--- a/src/docs/double_must_use.txt
+++ /dev/null
@@ -1,17 +0,0 @@
-### What it does
-Checks for a `#[must_use]` attribute without
-further information on functions and methods that return a type already
-marked as `#[must_use]`.
-
-### Why is this bad?
-The attribute isn't needed. Not using the result
-will already be reported. Alternatively, one can add some text to the
-attribute to improve the lint message.
-
-### Examples
-```
-#[must_use]
-fn double_must_use() -> Result<(), ()> {
-    unimplemented!();
-}
-```
\ No newline at end of file