Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Lower bool literals | Dawer | 2021-05-31 | 1 | -13/+10 |
* | Treat ctor of unhandled type as non-exhaustive. | Dawer | 2021-05-31 | 1 | -4/+6 |
* | Fix panics on pattern_arena.borrow with ugly cloning | Dawer | 2021-05-31 | 1 | -10/+9 |
* | Basic lowering hir_def::exrp::Pat -> typed HIR. | Dawer | 2021-05-31 | 1 | -107/+81 |
* | Handle unordered fields in struct patterns | Dawer | 2021-05-31 | 1 | -2/+12 |
* | Complete field replacing | Dawer | 2021-05-31 | 1 | -2/+7 |
* | Support bool literal patterns | Dawer | 2021-05-31 | 1 | -9/+156 |
* | Check enum patterns | Dawer | 2021-05-31 | 1 | -5/+59 |
* | Build wildcard witnesses instead of panicking | Dawer | 2021-05-31 | 1 | -8/+8 |
* | Implement struct ctor application | Dawer | 2021-05-31 | 1 | -55/+68 |
* | Add remaining Constructor variants | Dawer | 2021-05-31 | 1 | -14/+56 |
* | Remove unneeded indirection on PatCtxt | Dawer | 2021-05-31 | 1 | -12/+12 |
* | Enable generation of non-exhaustiveness witnesses | Dawer | 2021-05-31 | 1 | -1/+1 |
* | Update match checking. | Dawer | 2021-05-31 | 1 | -0/+627 |