Upgrade Rust toolchain to 2025-10-24

Relevant upstream PR:
- rust-lang/rust#147793 (Replace NullOp::SizeOf and
NullOp::AlignOf by lang items.)

Resolves: model-checking#4425

Author: tautschnig

kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs

@@ -827,9 +827,6 @@ impl GotocCtx<'_, '_> {
             Rvalue::NullaryOp(k, t) => {
                 let layout = self.layout_of_stable(*t);
                 match k {
-                    NullOp::SizeOf => Expr::int_constant(layout.size.bytes_usize(), Type::size_t())
-                        .with_size_of_annotation(self.codegen_ty_stable(*t)),
-                    NullOp::AlignOf => Expr::int_constant(layout.align.abi.bytes(), Type::size_t()),
                     NullOp::OffsetOf(fields) => Expr::int_constant(
                         self.tcx
                             .offset_of_subfield(

kani-compiler/src/kani_middle/transform/internal_mir.rs

@@ -195,8 +195,6 @@ impl RustcInternalMir for NullOp {
 
     fn internal_mir<'tcx>(&self, tcx: TyCtxt<'tcx>) -> Self::T<'tcx> {
         match self {
-            NullOp::SizeOf => rustc_middle::mir::NullOp::SizeOf,
-            NullOp::AlignOf => rustc_middle::mir::NullOp::AlignOf,
             NullOp::OffsetOf(offsets) => rustc_middle::mir::NullOp::OffsetOf(
                 tcx.mk_offset_of(
                     offsets

rust-toolchain.toml

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