Merge pull request #1060 from dewert99/ghostptrtoken-resolve

Add a `?Sized` bound for `GhostPtrToken: Resolve`
creusot-rs · Aug 6, 2024 · d7e2eef · d7e2eef
2 parents 843e41e + 080a943
commit d7e2eef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/creusot-contracts/src/ghost_ptr.rs b/creusot-contracts/src/ghost_ptr.rs
@@ -273,7 +273,7 @@ impl<'a, T: ?Sized> DerefMut for GhostPtrTokenMut<'a, T> {
 }
 
 #[trusted]
-impl<'a, T> Resolve for GhostPtrTokenMut<'a, T> {
+impl<'a, T: ?Sized> Resolve for GhostPtrTokenMut<'a, T> {
     #[predicate(prophetic)]
     #[open]
     fn resolve(self) -> bool {