fix: redundant might be wildcard which doesn't match technically

aiken-lang · Aug 1, 2023 · 7230bf0 · 7230bf0
1 parent 5ce73a3
commit 7230bf0
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/crates/aiken-lang/src/tipo/environment.rs b/crates/aiken-lang/src/tipo/environment.rs
@@ -1451,18 +1451,16 @@ impl<'a> Environment<'a> {
             if matrix.is_useful(&pattern_stack) {
                 matrix.push(pattern_stack);
             } else {
-                let index = matrix
+                let original = matrix
                     .flatten()
                     .into_iter()
                     .enumerate()
                     .find(|(_, p)| p == pattern_stack.head())
-                    .map(|(i, _)| i)
-                    .expect("should find index");
-
-                let typed_pattern = unchecked_patterns[index];
+                    .and_then(|(index, _)| unchecked_patterns.get(index))
+                    .map(|typed_pattern| typed_pattern.location());
 
                 return Err(Error::RedundantMatchClause {
-                    original: typed_pattern.location(),
+                    original,
                     redundant: unchecked_pattern.location(),
                 });
             }