Fix

TwoFX · TwoFX · commit bda03629740e · 2025-11-17T16:32:08.000Z
diff --git a/tests/lean/Uri.lean b/tests/lean/Uri.lean
@@ -27,7 +27,7 @@ def testShouldEscape :=
                       (Char.ofNat 127).toString] -- for 0x7F
   assert! should_quote.data.all (λ c =>
     let x := (escapeUri c.toString)
-    x.length == 3 && x.take 1 == "%")
+    x.length == 3 && x.take 1 == "%".toSlice)
   true
 
 def testPartialEscape :=
diff --git a/tests/lean/string_imp2.lean b/tests/lean/string_imp2.lean
@@ -46,7 +46,7 @@ it₁.remainingToString ++ "-" ++ it₂.remainingToString
 #eval "αβ".mkIterator.next.prev.hasPrev
 #eval "abc" == "abc"
 #eval "abc" == "abd"
-#eval "αβγ".drop 1
+#eval "αβγ".drop 1 |>.copy
 #eval "αβγ".takeRight 1
 
 def ss : Substring.Raw := "0123abcdαβγδ".toRawSubstring
