sync: update kani (53a7a3b => f27222d) verify-rust-std (ca5f7b => ca4953)

zjp-CN · zjp-CN · commit d3600f971cf7 · 2025-08-20T03:02:49.000Z
This fixes upstream CI failure. cc model-checking/verify-rust-std#465 cc model-checking/kani#4303
diff --git a/kani b/kani
@@ -1 +1 @@
-Subproject commit 53a7a3b516c5cbe504378d4a208d07d49b5aa4ec
+Subproject commit f27222d9228d10dfc3eee34fd02be1cbc20d2c39
diff --git a/verify-rust-std b/verify-rust-std
@@ -1 +1 @@
-Subproject commit ca5f7b8bb3f19c0153be07cef4f524864de03b42
+Subproject commit ca495357a162029276f9a4c7161bedc60e1b10c7
