Upgrade Rust toolchain to 2024-11-08 (#3703)

Resolves #3702 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
model-checking · Nov 11, 2024 · c776a54 · c776a54
1 parent 59ef4df
commit c776a54
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git 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
@@ -6,7 +6,6 @@
 //! Check that Kani contract can be applied to a constant function.
 //! <https://github.com/model-checking/kani/issues/3258>
 
-#![feature(effects)]
 #![allow(incomplete_features)]
 
 #[kani::requires(kani::mem::can_dereference(arg))]