Update match checking.

fn is_useful , more skeletons

Specify a lifetime on pattern references

impl PatStack

fill impl Matrix

PatStack::pop_head_constructor

Index-based approach

struct PatCtxt

fields construction fn Fields::wildcards

split wildcard

fn Constructor::is_covered_by_any(..)

fn Matrix::specialize_constructor(..)

impl Usefulness

Initial work on witness construction

Reorganize files

Replace match checking diagnostic

Handle types of expanded patterns

unit match checking go brrr

1 files changed, 36 insertions, 0 deletions

diff --git a/crates/hir_ty/src/diagnostics/pattern.rs b/crates/hir_ty/src/diagnostics/pattern.rs
new file mode 100644
index 000000000..28c7a244d
--- /dev/null
+++ b/crates/hir_ty/src/diagnostics/pattern.rs
@@ -0,0 +1,36 @@
+#![deny(elided_lifetimes_in_paths)]
+#![allow(unused)] // todo remove
+
+mod deconstruct_pat;
+pub mod usefulness;
+
+#[cfg(test)]
+mod tests {
+    use crate::diagnostics::tests::check_diagnostics;
+
+    use super::*;
+
+    #[test]
+    fn unit_exhaustive() {
+        check_diagnostics(
+            r#"
+fn main() {
+    match ()   { ()   => {} }
+    match ()   { _    => {} }
+}
+"#,
+        );
+    }
+
+    #[test]
+    fn unit_non_exhaustive() {
+        check_diagnostics(
+            r#"
+fn main() {
+    match ()   {            }
+        //^^ Missing match arm
+}
+"#,
+        );
+    }
+}