From 784435b416f5d4b2fbe8f3f48fbe8f5cafccbf54 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 30 Oct 2024 10:24:50 +0000 Subject: [PATCH] Upgrade toolchain to 2024-10-30 Changes required due to https://github.com/rust-lang/rust/pull/132157 (Remove detail from label/note that is already available in other note). Resolves: #3659 --- rust-toolchain.toml | 2 +- tests/ui/derive-arbitrary/non_arbitrary_param/expected | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 747ddbfbc549..a577e0a941ad 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-10-29" +channel = "nightly-2024-10-30" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"] diff --git a/tests/ui/derive-arbitrary/non_arbitrary_param/expected b/tests/ui/derive-arbitrary/non_arbitrary_param/expected index 68e3710d6dcb..194d13aa07c4 100644 --- a/tests/ui/derive-arbitrary/non_arbitrary_param/expected +++ b/tests/ui/derive-arbitrary/non_arbitrary_param/expected @@ -1,4 +1,4 @@ error[E0277]: the trait bound `Void: kani::Arbitrary` is not satisfied |\ | let _wrapper: Wrapper = kani::any();\ -| ^^^^^^^^^^^ the trait `kani::Arbitrary` is not implemented for `Void`, which is required by `Wrapper: kani::Arbitrary`\ +| ^^^^^^^^^^^ the trait `kani::Arbitrary` is not implemented for `Void`