Update toolchain to 2/2

- unsafe binders, c.f. rust-lang/rust#130514

Author: carolynzech

kani-compiler/src/kani_middle/points_to/points_to_analysis.rs

@@ -525,7 +525,8 @@ impl<'tcx> PointsToAnalysis<'_, 'tcx> {
             Rvalue::Use(operand)
             | Rvalue::ShallowInitBox(operand, _)
             | Rvalue::Cast(_, operand, _)
-            | Rvalue::Repeat(operand, ..) => self.successors_for_operand(state, operand),
+            | Rvalue::Repeat(operand, ..)
+            | Rvalue::WrapUnsafeBinder(operand, _) => self.successors_for_operand(state, operand),
             Rvalue::Ref(_, _, ref_place) | Rvalue::RawPtr(_, ref_place) => {
                 // Here, a reference to a place is created, which leaves the place
                 // unchanged.

kani-compiler/src/kani_middle/points_to/points_to_graph.rs

@@ -163,7 +163,8 @@ impl<'tcx> PointsToGraph<'tcx> {
                 | ProjectionElem::Subslice { .. }
                 | ProjectionElem::Downcast(..)
                 | ProjectionElem::OpaqueCast(..)
-                | ProjectionElem::Subtype(..) => {
+                | ProjectionElem::Subtype(..)
+                | ProjectionElem::UnwrapUnsafeBinder(..) => {
                     /* There operations are no-ops w.r.t aliasing since we are tracking it on per-object basis. */
                 }
             }

rust-toolchain.toml

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