add complete lifted sets

1 files changed, 6 insertions, 2 deletions

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(_)