diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index c80bf4dfbe6d..26f217c3f6c2 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2025-08-20"
+channel = "nightly-2025-08-25"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/tests/ui/derive-arbitrary/non_arbitrary_field/expected b/tests/ui/derive-arbitrary/non_arbitrary_field/expected
index 17a014736f5c..e5be971a3fb1 100644
--- a/tests/ui/derive-arbitrary/non_arbitrary_field/expected
+++ b/tests/ui/derive-arbitrary/non_arbitrary_field/expected
@@ -1,4 +1,6 @@
 error[E0277]: the trait bound `NotArbitrary: kani::Arbitrary` is not satisfied
 |\
 |     not_arbitrary: NotArbitrary,\
-|     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `kani::Arbitrary` is not implemented for `NotArbitrary`
+|     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound
+
+help: the trait `kani::Arbitrary` is not implemented for `NotArbitrary`
diff --git a/tests/ui/derive-arbitrary/non_arbitrary_param/expected b/tests/ui/derive-arbitrary/non_arbitrary_param/expected
index 194d13aa07c4..55cb239aa1b1 100644
--- a/tests/ui/derive-arbitrary/non_arbitrary_param/expected
+++ b/tests/ui/derive-arbitrary/non_arbitrary_param/expected
@@ -1,4 +1,6 @@
 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`
+|                                   ^^^^^^^^^^^ unsatisfied trait bound
+
+help: the trait `kani::Arbitrary` is not implemented for `Void`