use educe for PartialEq

Cargo.toml

@@ -12,7 +12,7 @@ ark-ff = "0.3.0"
 ark-bls12-381 = "0.3.0"                                                                                         # bls12-381 curve for r1cs backend
 ark-bn254 = "0.3.0"                                                                                             # bn128 curve for r1cs backend
 ark-serialize = "0.3.0"                                                                                         # serialization of arkworks types
-educe = { version = "0.6", default-features = false, features = ["Hash"] }
+educe = { version = "0.6", default-features = false, features = ["Hash", "PartialEq"] }
 ena = "0.14.0"                                                                                                  # union-find implementation for the wiring
 num-bigint = "0.4.3"                                                                                            # big int library
 camino = "1.1.1"                                                                                                # to replace Path and PathBuf

book/book.toml

@@ -16,4 +16,4 @@ additional-css = ["./mdbook-admonish.css"]
 
 [preprocessor.admonish]
 command = "mdbook-admonish"
-assets_version = "3.0.2"    # do not edit: managed by `mdbook-admonish install`
+assets_version = "3.0.2" # do not edit: managed by `mdbook-admonish install`

src/parser/types.rs

@@ -394,19 +394,14 @@ impl FnSig {
 
 /// Any kind of text that can represent a type, a variable, a function name, etc.
 #[derive(Debug, Default, Clone, Eq, Serialize, Deserialize, Educe)]
-#[educe(Hash)]
+#[educe(Hash, PartialEq)]
 pub struct Ident {
     pub value: String,
     #[educe(Hash(ignore))]
+    #[educe(PartialEq(ignore))]
     pub span: Span,
 }
 
-impl PartialEq for Ident {
-    fn eq(&self, other: &Self) -> bool {
-        self.value == other.value
-    }
-}
-
 impl Ident {
     pub fn new(value: String, span: Span) -> Self {
         Self { value, span }