Merge branch 'invariant' of github.com:carolynzech/verify-rust-std in…

…to invariant
carolynzech · Sep 19, 2024 · 3dba941 · 3dba941
2 parents 7b21c06 + 31f405e
commit 3dba941
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 {