From 982671930a0c3ca0760a2080a25960da473ae957 Mon Sep 17 00:00:00 2001 From: thanhnguyen-aws Date: Mon, 25 Aug 2025 10:18:53 -0700 Subject: [PATCH 1/2] update tool chain --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"] From d3ad2a652e77b4831dedc1972a398660f916ea90 Mon Sep 17 00:00:00 2001 From: thanhnguyen-aws Date: Mon, 25 Aug 2025 10:31:25 -0700 Subject: [PATCH 2/2] update expected tests output --- tests/ui/derive-arbitrary/non_arbitrary_field/expected | 4 +++- tests/ui/derive-arbitrary/non_arbitrary_param/expected | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) 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 = kani::any();\ -| ^^^^^^^^^^^ the trait `kani::Arbitrary` is not implemented for `Void` +| ^^^^^^^^^^^ unsatisfied trait bound + +help: the trait `kani::Arbitrary` is not implemented for `Void`