Upgrade Rust toolchain to nightly-2024-01-24 (#3008)

Resolves #3007. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
model-checking · Feb 8, 2024 · 3ceefa7 · 3ceefa7
1 parent f8fabc4
commit 3ceefa7
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 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-01-23"
+channel = "nightly-2024-01-24"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/tests/expected/any_vec/exact_length.expected b/tests/expected/any_vec/exact_length.expected
@@ -1,12 +1,12 @@
 Checking harness check_access_length_17...
 
 Failed Checks: assumption failed\
-in <usize as std::slice::SliceIndex<[Dummy]>>::get_unchecked
+in std::hint::assert_unchecked
 
 Checking harness check_access_length_zero...
 
 Failed Checks: assumption failed\
-in <usize as std::slice::SliceIndex<[u8]>>::get_unchecked
+in std::hint::assert_unchecked
 
 Verification failed for - check_access_length_17
 Verification failed for - check_access_length_zero
diff --git a/tests/expected/any_vec/out_bounds.expected b/tests/expected/any_vec/out_bounds.expected
@@ -1,6 +1,6 @@
 Checking harness check_always_out_bounds...
 
 Failed Checks: assumption failed
-in <usize as std::slice::SliceIndex<[u8]>>::get_unchecked
+in std::hint::assert_unchecked
 
 Verification failed for - check_always_out_bounds