Upgrade toolchain to 2/8

- clippy subtree update, c.f. rust-lang/rust#136645

Author: carolynzech

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

@@ -552,7 +552,7 @@ impl GotocCtx<'_> {
                 let ty = self.operand_ty_stable(op);
                 if ty.kind().is_bool() {
                     Some(self.codegen_operand_stable(op).cast_to(Type::c_bool()))
-                } else if arg_abi.map_or(true, |abi| abi.mode != PassMode::Ignore) {
+                } else if arg_abi.is_none_or(|abi| abi.mode != PassMode::Ignore) {
                     Some(self.codegen_operand_stable(op))
                 } else {
                     None

kani-compiler/src/kani_middle/analysis.rs

@@ -149,7 +149,7 @@ impl From<&Terminator> for Key {
             TerminatorKind::Drop { .. } => Key("Drop"),
             TerminatorKind::Goto { .. } => Key("Goto"),
             TerminatorKind::InlineAsm { .. } => Key("InlineAsm"),
-            TerminatorKind::Resume { .. } => Key("Resume"),
+            TerminatorKind::Resume => Key("Resume"),
             TerminatorKind::Return => Key("Return"),
             TerminatorKind::SwitchInt { .. } => Key("SwitchInt"),
             TerminatorKind::Unreachable => Key("Unreachable"),

kani-compiler/src/kani_middle/reachability.rs

@@ -458,7 +458,7 @@ impl MirVisitor for MonoItemsFnCollector<'_, '_> {
                 // We don't support inline assembly. This shall be replaced by an unsupported
                 // construct during codegen.
             }
-            TerminatorKind::Abort { .. } | TerminatorKind::Assert { .. } => {
+            TerminatorKind::Abort | TerminatorKind::Assert { .. } => {
                 // We generate code for this without invoking any lang item.
             }
             TerminatorKind::Goto { .. }

kani-driver/src/call_cbmc.rs

@@ -309,9 +309,9 @@ impl VerificationResult {
     ///
     /// NOTE: We actually ignore the CBMC exit status, in favor of two checks:
     ///   1. Examining the actual results of CBMC properties.
-    ///       (CBMC will regularly report "failure" but that's just our cover checks.)
+    ///      (CBMC will regularly report "failure" but that's just our cover checks.)
     ///   2. Positively checking for the presence of results.
-    ///       (Do not mistake lack of results for success: report it as failure.)
+    ///      (Do not mistake lack of results for success: report it as failure.)
     fn from(
         output: VerificationOutput,
         should_panic: bool,

library/kani/src/models/mod.rs

@@ -65,7 +65,7 @@ mod intrinsics {
     /// Logic similar to `bitmask_len` from `portable_simd`.
     /// <https://github.com/rust-lang/portable-simd/blob/490b5cf/crates/core_simd/src/masks/to_bitmask.rs#L75-L79>
     pub(super) const fn mask_len(len: usize) -> usize {
-        (len + 7) / 8
+        len.div_ceil(8)
     }
 
     #[cfg(target_endian = "little")]

rust-toolchain.toml

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

tools/kani-cov/src/report.rs

@@ -261,7 +261,7 @@ fn insert_escapes(str: &str, markers: Vec<(ColumnNumber, bool)>, format: &Report
         escaped_str.insert_str(i + offset, b);
         // `offset` keeps track of the bytes we've already inserted so the original
         // index is shifted by the appropriate amount in subsequent insertions.
-        offset += b.bytes().len();
+        offset += b.len();
     }
     escaped_str
 }

tools/kani-cov/src/summary.rs

@@ -165,9 +165,9 @@ pub fn line_coverage_results(
             }
         }
     } else {
-        line_status = std::iter::repeat(Some((0, MarkerInfo::FullLine)))
-            .take(end_line - start_line + 1)
-            .collect();
+        line_status =
+            std::iter::repeat_n(Some((0, MarkerInfo::FullLine)), end_line - start_line + 1)
+                .collect();
     }
     line_status
 }