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"]
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"