diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index eee073e29a89..1ee76e0f92f1 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2024-03-29"
+channel = "nightly-2024-04-02"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/tests/kani/ValidValues/write_invalid_fixme.rs b/tests/kani/ValidValues/write_invalid.rs
similarity index 88%
rename from tests/kani/ValidValues/write_invalid_fixme.rs
rename to tests/kani/ValidValues/write_invalid.rs
index f04a667a47d1..05d3705bd69a 100644
--- a/tests/kani/ValidValues/write_invalid_fixme.rs
+++ b/tests/kani/ValidValues/write_invalid.rs
@@ -6,9 +6,6 @@
 //! Writing invalid bytes is not UB as long as the incorrect value is not read.
 //! However, we over-approximate for sake of simplicity and performance.
 
-// Note: We're getting an unexpected compilation error because the type returned
-// from StableMIR is `Alias`: https://github.com/model-checking/kani/issues/3113
-
 use std::num::NonZeroU8;
 
 #[kani::proof]