aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/pattern
Commit message (Expand)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
* 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