From 219fde1de5209ed08c136e9cfc7984acdfc1777f Mon Sep 17 00:00:00 2001
From: gitbot <git@bot>
Date: Fri, 28 Mar 2025 14:08:52 +0000
Subject: [PATCH 1/2] Update toolchain to 2025-03-18

---
 rust-toolchain.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index c4ac176617fac..3a56c49af9a87 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # standard library we currently track.
 
 [toolchain]
-channel = "nightly-2025-03-17"
+channel = "nightly-2025-03-18"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]

From 13a9c950aad9ebf58276e916b4be1c8c613a3e26 Mon Sep 17 00:00:00 2001
From: gitbot <git@bot>
Date: Fri, 28 Mar 2025 14:08:52 +0000
Subject: [PATCH 2/2] Update Kani version to
 d12f10fd9cdfe32cd20a3d1047d2d25477e5c365

---
 tool_config/kani-version.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool_config/kani-version.toml b/tool_config/kani-version.toml
index aee64d37da844..091cc639ae289 100644
--- a/tool_config/kani-version.toml
+++ b/tool_config/kani-version.toml
@@ -2,4 +2,4 @@
 # incompatible with the verify-std repo.
 
 [kani]
-commit = "62dd13c914191b91ffd8244f70508791e6270a52"
+commit = "d12f10fd9cdfe32cd20a3d1047d2d25477e5c365"