| Commit message (Expand) | Author | Age | Files | Lines |
* | internal: implement pattern adjustments. | Dawer | 2021-06-01 | 1 | -2/+26 |
* | minor: Avoid eprintln on panic | Dawer | 2021-06-01 | 2 | -13/+15 |
* | Expand fixme comments | Dawer | 2021-05-31 | 3 | -2/+5 |
* | fix: panic on extra fields in a pattern | Dawer | 2021-05-31 | 1 | -0/+25 |
* | Correct binding pattern's type; handle invalid records. | Dawer | 2021-05-31 | 1 | -5/+55 |
* | Take substitutions into account. | Dawer | 2021-05-31 | 3 | -14/+33 |
* | eprint panic context | Dawer | 2021-05-31 | 3 | -14/+36 |
* | minor: doc comment pat_util | Dawer | 2021-05-31 | 1 | -0/+4 |
* | Test match guards, reference patterns | Dawer | 2021-05-31 | 1 | -0/+51 |
* | Box field detection; test #[non-exhaustive] attribute | Dawer | 2021-05-31 | 3 | -10/+52 |
* | Better tests: check if match checking bails out. | Dawer | 2021-05-31 | 2 | -1/+69 |
* | Replace the old match checking algorithm | Dawer | 2021-05-31 | 6 | -1925/+311 |
* | Include old tests | Dawer | 2021-05-31 | 1 | -69/+597 |
* | Don't panic on a pattern of unresolved ADT variant. | Dawer | 2021-05-31 | 2 | -50/+14 |
* | Clean up, more docs. | Dawer | 2021-05-31 | 4 | -101/+383 |
* | Check pattern types. | Dawer | 2021-05-31 | 3 | -30/+85 |
* | Expand binding patterns. | Dawer | 2021-05-31 | 2 | -6/+110 |
* | Fix visibility warnings | Dawer | 2021-05-31 | 3 | -12/+12 |
* | Lower binding pattern | Dawer | 2021-05-31 | 2 | -9/+28 |
* | Lower bool literals | Dawer | 2021-05-31 | 2 | -13/+29 |
* | Treat ctor of unhandled type as non-exhaustive. | Dawer | 2021-05-31 | 2 | -4/+24 |
* | Lower Pat::Path | Dawer | 2021-05-31 | 1 | -0/+18 |
* | Do not do match check if lowering failed. | Dawer | 2021-05-31 | 1 | -2/+19 |
* | Fix panics on pattern_arena.borrow with ugly cloning | Dawer | 2021-05-31 | 2 | -16/+15 |
* | Basic lowering hir_def::exrp::Pat -> typed HIR. | Dawer | 2021-05-31 | 5 | -164/+387 |
* | 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 | 2 | -9/+182 |
* | Check enum patterns | Dawer | 2021-05-31 | 3 | -6/+124 |
* | Build wildcard witnesses instead of panicking | Dawer | 2021-05-31 | 1 | -8/+8 |
* | Implement struct ctor application | Dawer | 2021-05-31 | 4 | -68/+120 |
* | Add remaining Constructor variants | Dawer | 2021-05-31 | 1 | -14/+56 |
* | 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 | 3 | -24/+24 |
* | Enable generation of non-exhaustiveness witnesses | Dawer | 2021-05-31 | 3 | -13/+76 |
* | Update match checking. | Dawer | 2021-05-31 | 4 | -1/+1468 |
* | minor: it's Parameter, not Argument | Aleksey Kladov | 2021-05-31 | 1 | -3/+3 |
* | fix: avoid panics in match case diagnostic | Aleksey Kladov | 2021-05-31 | 1 | -108/+33 |
* | internal: move diagnostics to hir | Aleksey Kladov | 2021-05-25 | 3 | -7/+6 |
* | Record method call substs and use them in call info | Florian Diebold | 2021-05-23 | 2 | -9/+5 |
* | Add last remaining module docstring | Florian Diebold | 2021-05-22 | 1 | -1/+3 |
* | Check patterns for type match recursively. | Dawer | 2021-05-19 | 2 | -2/+30 |
* | internal: Record mismatches of pattern types. | Dawer | 2021-05-19 | 1 | -1/+1 |
* | Fix false positive "Missing match arm". | Dawer | 2021-05-14 | 1 | -0/+1 |
* | Fix inference with conditionally compiled tails | Daniel McNab | 2021-05-03 | 1 | -1/+1 |
* | decl_check: follow test style guide | Jonas Schievink | 2021-04-13 | 1 | -60/+59 |
* | address review feedback | Jade | 2021-04-13 | 1 | -21/+35 |
* | decl_check: consider outer scopes' allows | Jade | 2021-04-08 | 1 | -10/+122 |
* | infer: remove `record_field_resolutions` field | Jonas Schievink | 2021-04-06 | 1 | -5/+4 |