From 8d9c0e5868b2a7fa22080f814357dcda69a10057 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 7 May 2026 11:50:06 +0100
Subject: add complete lifted sets

---
 src/checker_signature.rs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'src/checker_signature.rs')

diff --git a/src/checker_signature.rs b/src/checker_signature.rs
index 1ce8bc8..6acd271 100644
--- a/src/checker_signature.rs
+++ b/src/checker_signature.rs
@@ -336,7 +336,10 @@ impl CheckerState {
                         ref field,
                         element: ref inner,
                     } => Some((field.clone(), *inner.clone())),
-                    Element::Var(_) | Element::Project { .. } | Element::Case { .. } => None,
+                    Element::ClaimedElement(_)
+                    | Element::Var(_)
+                    | Element::Project { .. }
+                    | Element::Case { .. } => None,
                     Element::Literal(_) | Element::Record(_) => panic!(
                         "invariant violation: scrutinee is a non-variant value at variant set"
                     ),
@@ -344,7 +347,8 @@ impl CheckerState {
 
                 let posit_equality_with = match &scrutinee {
                     Element::Var(v) => Some(v.clone()),
-                    Element::Inject { .. }
+                    Element::ClaimedElement(_)
+                    | Element::Inject { .. }
                     | Element::Project { .. }
                     | Element::Case { .. }
                     | Element::Literal(_)
-- 
cgit v1.3.1