diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 90ff24dbd0d3..ee74ceb3afe8 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-11-03" +channel = "nightly-2024-11-08" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"] diff --git a/tests/expected/function-contract/const_fn_with_effect.rs b/tests/expected/function-contract/const_fn_with_effect.rs index 070c44482a80..ab0725eee244 100644 --- a/tests/expected/function-contract/const_fn_with_effect.rs +++ b/tests/expected/function-contract/const_fn_with_effect.rs @@ -6,7 +6,6 @@ //! Check that Kani contract can be applied to a constant function. //! -#![feature(effects)] #![allow(incomplete_features)] #[kani::requires(kani::mem::can_dereference(arg))]