aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/pattern.rs
Commit message (Collapse)AuthorAgeFilesLines
* Basic lowering hir_def::exrp::Pat -> typed HIR.Dawer2021-05-311-0/+191
| | | | Pattern arena is broken
* Support bool literal patternsDawer2021-05-311-0/+26
|
* Check enum patternsDawer2021-05-311-0/+45
|
* Implement struct ctor applicationDawer2021-05-311-6/+49
|
* Update match checking.Dawer2021-05-311-0/+36
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