Merge branch 'main' into new-unchecked

model-checking · Sep 20, 2024 · e43483e · e43483e
2 parents d623d96 + 351e958
commit e43483e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/library/core/src/ptr/unique.rs b/library/core/src/ptr/unique.rs
@@ -284,8 +284,8 @@ mod verify {
  }
 
  // pub const fn cast<U>(self) -> Unique<U>
- #[kani::proof_for_contract(Unique::cast<U>)]
- pub fn check_cast<U>() {
+ #[kani::proof]
+ pub fn check_cast() {
  let mut x : i32 = kani::any();
  let xptr = &mut x;
  unsafe {