aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/pattern/usefulness.rs
Commit message (Expand)AuthorAgeFilesLines
* Fix panics on pattern_arena.borrow with ugly cloningDawer2021-05-311-6/+6
* Basic lowering hir_def::exrp::Pat -> typed HIR.Dawer2021-05-311-48/+33
* Check enum patternsDawer2021-05-311-1/+20
* Implement struct ctor applicationDawer2021-05-311-6/+2
* 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-311-10/+10
* Enable generation of non-exhaustiveness witnessesDawer2021-05-311-11/+73
* Update match checking.Dawer2021-05-311-0/+736