diff options
Diffstat (limited to 'src/checker_signature.rs')
| -rw-r--r-- | src/checker_signature.rs | 8 |
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(_) |