From 080a943671979c1bf1d965641b56dee1d39c59f1 Mon Sep 17 00:00:00 2001
From: dewert99 <dewert10@gmail.com>
Date: Mon, 5 Aug 2024 17:36:19 -0700
Subject: [PATCH] Add a `?Sized` bound for `GhostPtrToken: Resolve`

---
 creusot-contracts/src/ghost_ptr.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/creusot-contracts/src/ghost_ptr.rs b/creusot-contracts/src/ghost_ptr.rs
index ff1e2bc562..9db635d3ea 100644
--- 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 {