sync: kani and verify-rust-std; toolchain up to nightly-2025-07-02

zjp-CN · zjp-CN · commit 075594cbdeef · 2025-07-20T14:32:12.000Z
kani: b64e59de6 -&gt; 12386811f
verify-rust-std: e021729236f -&gt; a914785e79c0
diff --git a/kani b/kani
@@ -1 +1 @@
-Subproject commit b64e59de669cd77b625cc8c0b9a94f29117a0ff7
+Subproject commit 12386811f934e7eb76e794bea787a1030f934735
diff --git a/verify-rust-std b/verify-rust-std
@@ -1 +1 @@
-Subproject commit e021729236fa4a3645b570b09cebc099c4c23eee
+Subproject commit a914785e79c024e37fcd7d81162058e620f056c1
