update to 6/5

Carolyn Zech · Carolyn Zech · commit 241f2edc281a · 2025-06-13T13:17:31.000-04:00
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-2025-06-04"
+channel = "nightly-2025-06-05"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/tests/expected/arbitrary/ptrs/pointer_generator_error.expected b/tests/expected/arbitrary/ptrs/pointer_generator_error.expected
@@ -1,6 +1,9 @@
-error[E0080]: evaluation of `kani::PointerGenerator::<0>::VALID` failed\
+error[E0080]: evaluation panicked: PointerGenerator requires at least one byte.\
 
-evaluation panicked: PointerGenerator requires at least one byte.\
+|\
+| kani_core::kani_lib!(kani);\
+| ^^^^^^^^^^^^^^^^^^^^^^^^^^ evaluation of `kani::PointerGenerator::<0>::VALID` failed here\
+|\
 
 note: the above error was encountered while instantiating `fn kani::PointerGenerator::<0>::new`\
 pointer_generator_error.rs\
