From c3c2893f302d087ff3c1ddd3a1d4e88c03c4356b Mon Sep 17 00:00:00 2001
From: Dawer <7803845+iDawer@users.noreply.github.com>
Date: Thu, 22 Apr 2021 20:17:27 +0500
Subject: 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
---
 crates/hir_ty/src/diagnostics.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'crates/hir_ty/src/diagnostics.rs')

diff --git a/crates/hir_ty/src/diagnostics.rs b/crates/hir_ty/src/diagnostics.rs
index 283894704..87a3594c5 100644
--- a/crates/hir_ty/src/diagnostics.rs
+++ b/crates/hir_ty/src/diagnostics.rs
@@ -1,6 +1,8 @@
 //! Type inference-based diagnostics.
 mod expr;
+#[allow(unused)] //todo
 mod match_check;
+mod pattern;
 mod unsafe_check;
 mod decl_check;
 
-- 
cgit v1.2.3