From 1f6d2322c304c1514b435c56c99c828e1e4e6092 Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Sat, 9 May 2026 18:01:51 +0200
Subject: [PATCH] =?UTF-8?q?iter=2022b.2.5:=20fix=20=E2=80=94=20move=20Over?=
 =?UTF-8?q?ridingNonExistentMethod=20after=20UnboundConstraintTypeVar?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 crates/ailang-core/src/workspace.rs | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/crates/ailang-core/src/workspace.rs b/crates/ailang-core/src/workspace.rs
index 443654f..bef7614 100644
--- a/crates/ailang-core/src/workspace.rs
+++ b/crates/ailang-core/src/workspace.rs
@@ -200,18 +200,6 @@ pub enum WorkspaceLoadError {
         method: String,
     },
 
-    /// Iter 22b.2: an instance specifies a body for a method name
-    /// that the corresponding class does not declare. Symmetric to
-    /// `MissingMethod` but in the opposite direction.
-    #[error(
-        "instance `{class} {type_repr}` provides body for method `{method}`, but class `{class}` does not declare it"
-    )]
-    OverridingNonExistentMethod {
-        class: String,
-        type_repr: String,
-        method: String,
-    },
-
     /// Iter 22b.2: class-schema validation. The class parameter
     /// appears in applied position (e.g. as the head of a
     /// `Type::Con { name == param, args.len() > 0 }`) inside a method
@@ -256,6 +244,18 @@ pub enum WorkspaceLoadError {
         constraint_class: String,
         var: String,
     },
+
+    /// Iter 22b.2: an instance specifies a body for a method name
+    /// that the corresponding class does not declare. Symmetric to
+    /// `MissingMethod` but in the opposite direction.
+    #[error(
+        "instance `{class} {type_repr}` provides body for method `{method}`, but class `{class}` does not declare it"
+    )]
+    OverridingNonExistentMethod {
+        class: String,
+        type_repr: String,
+        method: String,
+    },
 }
 
 /// Hash over the canonical bytes of a complete module.