From c603cf8b17dd78ee9c21aa4ee85f216bc9835675 Mon Sep 17 00:00:00 2001
From: gitbot <git@bot>
Date: Wed, 26 Mar 2025 14:09:01 +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 33fe7f8b16113f3b712167d122224424a5b411d3 Mon Sep 17 00:00:00 2001
From: gitbot <git@bot>
Date: Wed, 26 Mar 2025 14:09:01 +0000
Subject: [PATCH 2/2] Update Kani version to
 49c4b6f128947af7fa3e5fc045d2bca456c6acc1

---
 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..bca878e453af1 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 = "49c4b6f128947af7fa3e5fc045d2bca456c6acc1"