strings todo

model-checking · Jul 11, 2024 · 55ca498 · 55ca498
1 parent 9c2b7e8
commit 55ca498
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/kani/src/internal.rs b/library/kani/src/internal.rs
@@ -129,7 +129,7 @@ pub unsafe fn write_any_slim<T: Arbitrary>(pointer: *mut T) {
 #[crate::unstable(feature = "function-contracts", issue = "none", reason = "function-contracts")]
 #[rustc_diagnostic_item = "KaniWriteAnyStr"]
 #[inline(always)]
-pub unsafe fn write_any_str(s: *mut str) {
+pub unsafe fn write_any_str(_s: *mut str) {
     //TODO: strings introduce new UB
     //(*s).as_bytes_mut().fill_with(u8::any)
     //TODO: String validation