aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/pattern
Commit message (Collapse)AuthorAgeFilesLines
* Fix panics on pattern_arena.borrow with ugly cloningDawer2021-05-312-16/+15
|
* Basic lowering hir_def::exrp::Pat -> typed HIR.Dawer2021-05-313-155/+166
| | | | Pattern arena is broken
* Handle unordered fields in struct patternsDawer2021-05-311-2/+12
|
* Complete field replacingDawer2021-05-311-2/+7
|
* Support bool literal patternsDawer2021-05-311-9/+156
|
* Check enum patternsDawer2021-05-312-6/+79
|
* Build wildcard witnesses instead of panickingDawer2021-05-311-8/+8
|
* Implement struct ctor applicationDawer2021-05-312-61/+70
|
* Add remaining Constructor variantsDawer2021-05-311-14/+56
|
* Complete usefulness::SubPatSet implDawer2021-05-311-3/+71
|
* List useless patterns in a useful match armDawer2021-05-311-9/+58
|
* Remove unneeded indirection on PatCtxtDawer2021-05-312-22/+22
|
* Enable generation of non-exhaustiveness witnessesDawer2021-05-312-12/+74
|
* Update match checking.Dawer2021-05-312-0/+1363
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