add unsafe block to fix warning, c.f. rust-lang/rust#112038

carolynzech · carolynzech · commit 519099a9f489 · 2025-03-18T15:02:23.000-04:00
diff --git a/tests/script-based-pre/cargo_autoharness_contracts/src/lib.rs b/tests/script-based-pre/cargo_autoharness_contracts/src/lib.rs
@@ -44,7 +44,7 @@ mod should_pass {
     // Test that we can autoharness functions for unsafe functions with contracts
     #[kani::requires(!left.overflowing_mul(rhs).1)]
     unsafe fn unchecked_mul(left: u8, rhs: u8) -> u8 {
-        left.unchecked_mul(rhs)
+        unsafe { left.unchecked_mul(rhs) }
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,7 @@ mod should_pass {`
`44`	`44`	`// Test that we can autoharness functions for unsafe functions with contracts`
`45`	`45`	`#[kani::requires(!left.overflowing_mul(rhs).1)]`
`46`	`46`	`unsafe fn unchecked_mul(left: u8, rhs: u8) -> u8 {`
`47`		`- left.unchecked_mul(rhs)`
	`47`	`+ unsafe { left.unchecked_mul(rhs) }`
`48`	`48`	`}`
`49`	`49`	`}`
`50`	`50`