From 0ff631e7a43afa46be22f8221cc3149a7184a9ce Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 24 Apr 2026 14:05:05 +0100
Subject: refactor error to be clearer

---
 src/checker_state.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/checker_state.rs')

diff --git a/src/checker_state.rs b/src/checker_state.rs
index c4b4a3a..30f83be 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -13,8 +13,8 @@ pub enum CheckerError {
     Rebinding(String),
     #[display("The following functionality is unimplemented: {_0}")]
     Unimplemented(String),
-    #[display("Element claimed to belong to {_0} but actually belongs to {_1}")]
-    WrongSetForElement(Set, Set),
+    #[display("Element claimed to belong to {claimed} but actually belongs to {real}")]
+    WrongSetForElement { claimed: Set, real: Set },
     #[display("Element {element} does belong to set {claimed}: {reason}")]
     ElementDoesNotBelong {
         element: Element,
-- 
cgit v1.3.1