From 04bde14a9ef6519ed9037c327c002be3fed77703 Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Sat, 9 May 2026 17:38:20 +0200
Subject: [PATCH] =?UTF-8?q?iter=2022b.2.1:=20fix=20=E2=80=94=20revert=20Pa?=
 =?UTF-8?q?rtialEq=20semantic=20change,=20drop=20unused=20derives?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 crates/ailang-core/src/ast.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/crates/ailang-core/src/ast.rs b/crates/ailang-core/src/ast.rs
index 84032ad..36d903a 100644
--- a/crates/ailang-core/src/ast.rs
+++ b/crates/ailang-core/src/ast.rs
@@ -337,7 +337,7 @@ pub struct InstanceMethod {
 /// `(Eq, a)` for `Eq a => ...`). Concrete-type constraints are legal
 /// schema-wise but fired as `no-instance` at typecheck time if no
 /// matching registry entry exists.
-#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
+#[derive(Debug, Clone, Serialize, Deserialize)]
 pub struct Constraint {
     /// Class name.
     pub class: String,
@@ -763,9 +763,9 @@ impl PartialEq for Type {
             }
             (Type::Var { name: a }, Type::Var { name: b }) => a == b,
             (
-                Type::Forall { vars: a, constraints: ac, body: ab },
-                Type::Forall { vars: b, constraints: bc, body: bb },
-            ) => a == b && ac == bc && ab == bb,
+                Type::Forall { vars: a, constraints: _, body: ab },
+                Type::Forall { vars: b, constraints: _, body: bb },
+            ) => a == b && ab == bb,
             _ => false,
         }
     }