| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Minor clippy perf fixes | Laurențiu Nicola | 2021-06-18 | 1 | -1/+1 |
| | | |||||
| * | Nest all the or-patterns! | Lukas Wirth | 2021-06-17 | 1 | -6/+3 |
| | | |||||
| * | Merge #9260 | bors[bot] | 2021-06-14 | 1 | -1/+1 |
| |\ | | | | | | | | | | | | | | | 9260: tree-wide: make rustdoc links spiky so they are clickable r=matklad a=lf- Rustdoc was complaining about these while I was running with --document-private-items and I figure they should be fixed. Co-authored-by: Jade <[email protected]> | ||||
| | * | tree-wide: make rustdoc links spiky so they are clickable | Jade | 2021-06-14 | 1 | -1/+1 |
| | | | |||||
| * | | internal: use cov-mark rather than bailing out diagnostic | Aleksey Kladov | 2021-06-13 | 1 | -14/+3 |
| | | | |||||
| * | | internal: unified missing fields diagnostic | Aleksey Kladov | 2021-06-13 | 1 | -11/+7 |
| | | | |||||
| * | | minor: put a mark back | Aleksey Kladov | 2021-06-13 | 1 | -0/+1 |
| | | | |||||
| * | | clippy::redudant_borrow | Maan2003 | 2021-06-13 | 2 | -4/+4 |
| | | | |||||
| * | | internal: cross-crate cov-marks | Aleksey Kladov | 2021-06-12 | 1 | -0/+2 |
| | | | |||||
| * | | internal: move diagnostics infra to hir | Aleksey Kladov | 2021-06-12 | 1 | -353/+6 |
| | | | |||||
| * | | Move some hir_ty diagnostics to hir | Aleksey Kladov | 2021-06-12 | 3 | -1366/+91 |
| | | | |||||
| * | | minor: reduce visibility | Aleksey Kladov | 2021-06-12 | 1 | -3/+2 |
| | | | |||||
| * | | internal: move missing unsafe diagnostic to hir | Aleksey Kladov | 2021-06-12 | 1 | -133/+15 |
| |/ | |||||
| * | 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 |
| | | | | | Pattern arena is broken | ||||
| * | 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 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fn is_useful , more skeletons Specify a lifetime on pattern references impl PatStack fill impl Matrix PatStack::pop_head_constructor Index-based approach struct PatCtxt fields construction fn Fields::wildcards split wildcard fn Constructor::is_covered_by_any(..) fn Matrix::specialize_constructor(..) impl Usefulness Initial work on witness construction Reorganize files Replace match checking diagnostic Handle types of expanded patterns unit match checking go brrr | ||||
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |