From ecbe9ac0e9b68b171e4a48db40e91e2e44370c2a Mon Sep 17 00:00:00 2001
From: Michael Wright <mikerite@lavabit.com>
Date: Tue, 15 Sep 2020 21:30:01 +0200
Subject: [PATCH] manual-strip: Add additional test

---
 tests/ui/manual_strip.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/ui/manual_strip.rs b/tests/ui/manual_strip.rs
index d1b4772c7dee..cbb84eb5c7e3 100644
--- a/tests/ui/manual_strip.rs
+++ b/tests/ui/manual_strip.rs
@@ -56,4 +56,11 @@ fn main() {
         s2.push('d');
         s2[2..].to_uppercase();
     }
+
+    // Target not stripped. (Don't lint.)
+    let s3 = String::from("abcd");
+    let s4 = String::from("efgh");
+    if s3.starts_with("ab") {
+        s4[2..].to_string();
+    }
 }