Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix panics on pattern_arena.borrow with ugly cloning | Dawer | 2021-05-31 | 1 | -6/+6 |
* | Basic lowering hir_def::exrp::Pat -> typed HIR. | Dawer | 2021-05-31 | 1 | -48/+33 |
* | Check enum patterns | Dawer | 2021-05-31 | 1 | -1/+20 |
* | Implement struct ctor application | Dawer | 2021-05-31 | 1 | -6/+2 |
* | Complete usefulness::SubPatSet impl | Dawer | 2021-05-31 | 1 | -3/+71 |
* | List useless patterns in a useful match arm | Dawer | 2021-05-31 | 1 | -9/+58 |
* | Remove unneeded indirection on PatCtxt | Dawer | 2021-05-31 | 1 | -10/+10 |
* | Enable generation of non-exhaustiveness witnesses | Dawer | 2021-05-31 | 1 | -11/+73 |
* | Update match checking. | Dawer | 2021-05-31 | 1 | -0/+736 |