From 3b0be3c0f8354cea5dcba022aab3ce328aaa8666 Mon Sep 17 00:00:00 2001
From: Dr Maxim Orlovsky <orlovsky@lnp-bp.org>
Date: Sun, 22 Dec 2024 19:59:32 +0100
Subject: [PATCH] seals: add Eq bound to ClinetSideWitness

---
 single_use_seals/src/lib.rs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/single_use_seals/src/lib.rs b/single_use_seals/src/lib.rs
index 72b00e34..1037fac6 100644
--- a/single_use_seals/src/lib.rs
+++ b/single_use_seals/src/lib.rs
@@ -166,7 +166,7 @@ pub trait SingleUseSeal:
     fn is_included(&self, message: Self::Message, witness: &SealWitness<Self>) -> bool;
 }
 
-pub trait ClientSideWitness {
+pub trait ClientSideWitness: Eq {
     /// Client-side witness is specific to just one type of single-use seals,
     /// provided as an associated type.
     type Seal: SingleUseSeal;
@@ -181,8 +181,14 @@ pub trait ClientSideWitness {
     ) -> Result<Self::Proof, Self::Error>;
 }
 
-#[derive(Copy, Clone, Ord, PartialOrd, Eq, PartialEq, Hash, Debug, Default)]
+#[derive(Copy, Clone, Debug, Default)]
 pub struct NoWitness<Seal: SingleUseSeal>(PhantomData<Seal>);
+
+impl<Seal: SingleUseSeal> PartialEq for NoWitness<Seal> {
+    fn eq(&self, _: &Self) -> bool { true }
+}
+impl<Seal: SingleUseSeal> Eq for NoWitness<Seal> {}
+
 impl<Seal: SingleUseSeal> ClientSideWitness for NoWitness<Seal> {
     type Seal = Seal;
     type Proof = Seal::Message;