Upgrade toolchain to 2024-10-30

Changes required due to rust-lang/rust#132157
(Remove detail from label/note that is already available in other note).

Resolves: model-checking#3659

Author: tautschnig

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"]

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`