From 0e07f55cebe65d3cf984fea57b9bc22049c6eb2e Mon Sep 17 00:00:00 2001
From: Serial <69764315+Serial-ATA@users.noreply.github.com>
Date: Tue, 7 Jun 2022 18:51:45 -0400
Subject: [PATCH] Hide unnecessary code in [`implicit_saturating_sub`]

---
 clippy_lints/src/implicit_saturating_sub.rs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/clippy_lints/src/implicit_saturating_sub.rs b/clippy_lints/src/implicit_saturating_sub.rs
index 9d858e0c2120..46654bc61e0f 100644
--- a/clippy_lints/src/implicit_saturating_sub.rs
+++ b/clippy_lints/src/implicit_saturating_sub.rs
@@ -16,7 +16,10 @@ declare_clippy_lint! {
     ///
     /// ### Example
     /// ```rust
-    /// # let mut i: u32 = 0;
+    /// # let end: u32 = 10;
+    /// # let start: u32 = 5;
+    /// let mut i: u32 = end - start;
+    ///
     /// if i != 0 {
     ///     i -= 1;
     /// }
@@ -24,7 +27,10 @@ declare_clippy_lint! {
     ///
     /// Use instead:
     /// ```rust
-    /// # let mut i: u32 = 0;
+    /// # let end: u32 = 10;
+    /// # let start: u32 = 5;
+    /// let mut i: u32 = end - start;
+    ///
     /// i = i.saturating_sub(1);
     /// ```
     #[clippy::version = "1.44.0"]