From 9c2b7e854773e4c52f5c3f0d53d52a9c6e418517 Mon Sep 17 00:00:00 2001
From: Matias Scharager <mscharag@amazon.com>
Date: Thu, 11 Jul 2024 16:23:44 -0400
Subject: [PATCH] strings todo

---
 library/kani/src/internal.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/library/kani/src/internal.rs b/library/kani/src/internal.rs
index 35550f2895e6..7141aa915682 100644
--- a/library/kani/src/internal.rs
+++ b/library/kani/src/internal.rs
@@ -130,6 +130,8 @@ pub unsafe fn write_any_slim<T: Arbitrary>(pointer: *mut T) {
 #[rustc_diagnostic_item = "KaniWriteAnyStr"]
 #[inline(always)]
 pub unsafe fn write_any_str(s: *mut str) {
-    (*s).as_bytes_mut().fill_with(u8::any)
+    //TODO: strings introduce new UB
+    //(*s).as_bytes_mut().fill_with(u8::any)
     //TODO: String validation
+    unreachable!("strings are not yet implemented")
 }