Upgrade toolchain to 2024-10-30 (#3661)

Changes required due to rust-lang/rust#132157 (Remove detail from label/note that is already available in other note). Resolves: #3659 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 · Oct 30, 2024 · 1fe80f9 · 1fe80f9
1 parent 323fc27
commit 1fe80f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions 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-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
@@ -1,4 +1,4 @@
 error[E0277]: the trait bound `Void: kani::Arbitrary` is not satisfied
 |\
 |     let _wrapper: Wrapper<Void> = kani::any();\
-|                                   ^^^^^^^^^^^ the trait `kani::Arbitrary` is not implemented for `Void`, which is required by `Wrapper<Void>: kani::Arbitrary`\
+|                                   ^^^^^^^^^^^ the trait `kani::Arbitrary` is not implemented for `Void`