From d14c744a1cff323f8a837ef620a93ee518c392a2 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 7 May 2026 10:06:51 +0100
Subject: finish the implementation, we don't have motives so this is how it
 will have to stay

---
 src/checker_state.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/checker_state.rs')

diff --git a/src/checker_state.rs b/src/checker_state.rs
index 77abbdd..42f5089 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -19,6 +19,9 @@ pub enum CheckerError {
     #[display("The following functionality is unimplemented: {_0}")]
     Unimplemented(String),
 
+    #[display("The set contains dulplicate fiels: {_0}")]
+    DuplicateFieldsSet(Set),
+
     #[display("Element {value} claimed to belong to {claimed} but actually belongs to {real}")]
     WrongSetForElement {
         value: ElementValue,
@@ -33,9 +36,15 @@ pub enum CheckerError {
         reason: String,
     },
 
+    #[display("Record construction involves incosistent field choice {_0}")]
+    ElementInconsistentFieldChoice(Element),
+
     #[display("Case analysis {_0} does not have consistent set for scrutinee")]
     ElementInconsistentCaseScrutineeSet(Element),
 
+    #[display("The signature contains dulplicate fiels: {_0}")]
+    DuplicateFieldsSignature(Signature),
+
     #[display("Case analysis {_0} does not have consistent set for scrutinee")]
     InstanceInconsistentCaseScrutineeSet(Instance),
 
-- 
cgit v1.3.1