From ed4211c0dedc6f18063479dd0aee7f2161f57582 Mon Sep 17 00:00:00 2001 From: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com> Date: Mon, 11 Nov 2024 10:35:43 -0800 Subject: [PATCH] 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. --- rust-toolchain.toml | 2 +- tests/expected/function-contract/const_fn_with_effect.rs | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) 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))]