Upgrade toolchain to nightly-2025-01-17

Changes required due to
- rust-lang/rust#135344: Less unsafe in `dangling`/`without_provenance`

Resolves: model-checking#3840

Author: tautschnig

rust-toolchain.toml

@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2025-01-16"
+channel = "nightly-2025-01-17"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]

tests/expected/function-contract/valid_ptr.expected

@@ -1,10 +1,13 @@
 Checking harness pre_condition::harness_invalid_ptr...
-VERIFICATION:- SUCCESSFUL (encountered one or more panics as expected)
+Failed Checks: assertion failed: unsafe { read_ptr(ptr) } == -20
+Failed Checks: Kani does not support reasoning about pointer to unallocated memory
+Failed Checks: dereference failure: pointer outside object bounds
+VERIFICATION:- FAILED
 
 Checking harness pre_condition::harness_stack_ptr...
 VERIFICATION:- SUCCESSFUL
 
 Checking harness pre_condition::harness_head_ptr...
 VERIFICATION:- SUCCESSFUL
 
-Complete - 3 successfully verified harnesses, 0 failures, 3 total
+Complete - 2 successfully verified harnesses, 1 failures, 3 total

tests/expected/function-contract/valid_ptr.rs

@@ -28,7 +28,6 @@ mod pre_condition {
     }
 
     #[kani::proof_for_contract(read_ptr)]
-    #[kani::should_panic]
     fn harness_invalid_ptr() {
         let ptr = std::ptr::NonNull::<i32>::dangling().as_ptr();
         assert_eq!(unsafe { read_ptr(ptr) }, -20);