Don't report check reachability for patterns with errors

Author: Kmeakin

fathom/src/surface/elaboration/patterns.rs

@@ -63,6 +63,10 @@ impl<'arena> CheckedPattern<'arena> {
             CheckedPattern::RecordLit(_, _, _) => false,
         }
     }
+
+    pub fn is_error(&self) -> bool {
+        matches!(self, CheckedPattern::ReportedError(_))
+    }
 }
 
 #[derive(Debug, Copy, Clone, PartialEq, Eq)]
@@ -625,6 +629,10 @@ impl<'arena> PatRow<'arena> {
     pub fn append(&mut self, mut other: Self) {
         self.pairs.append(&mut other.pairs);
     }
+
+    pub fn patterns(&self) -> impl ExactSizeIterator<Item = &CheckedPattern<'arena>> {
+        self.pairs.iter().map(|(pattern, _)| pattern)
+    }
 }
 
 impl<'arena> CheckedPattern<'arena> {

fathom/src/surface/elaboration/patterns/coverage.rs

@@ -36,13 +36,19 @@ pub fn check_coverage<'arena>(
     let mut rows = Vec::with_capacity(matrix.num_rows());
     for (row, _) in matrix.iter() {
         let matrix = PatMatrix::new(rows.clone());
+        rows.push(row.clone());
+
+        // Don't check reachability for patterns with errors
+        if row.patterns().any(|pattern| pattern.is_error()) {
+            continue;
+        }
+
         if !is_useful(ctx, &matrix, row) {
             let range = row.first().unwrap().0.range();
             ctx.push_message(Message::UnreachablePattern {
                 range: ctx.file_range(range),
             });
         }
-        rows.push(row.clone());
     }
 }
 

tests/fail/elaboration/boolean-literal/not-supported.snap

@@ -12,10 +12,4 @@ error: boolean literal not supported for expected type
 7 │     true => 1,
   │     ^^^^
 
-warning: unreachable pattern
-  ┌─ tests/fail/elaboration/boolean-literal/not-supported.fathom:7:5
-  │
-7 │     true => 1,
-  │     ^^^^
-
 '''