Add a ?Sized bound for GhostPtrToken: Resolve

creusot-rs · Aug 6, 2024 · 080a943 · 080a943
1 parent 843e41e
commit 080a943
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 {