aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * fix: panic on extra fields in a patternDawer2021-05-311-0/+25
| |
| * Correct binding pattern's type; handle invalid records.Dawer2021-05-311-5/+55
| |
| * Take substitutions into account.Dawer2021-05-313-14/+33
| |
| * eprint panic contextDawer2021-05-313-14/+36
| |
| * minor: doc comment pat_utilDawer2021-05-311-0/+4
| |
| * Test match guards, reference patternsDawer2021-05-311-0/+51
| |
| * Box field detection; test #[non-exhaustive] attributeDawer2021-05-313-10/+52
| |
| * Better tests: check if match checking bails out.Dawer2021-05-312-1/+69
| |
| * Replace the old match checking algorithmDawer2021-05-317-1927/+311
| |
| * Include old testsDawer2021-05-311-69/+597
| |
| * Don't panic on a pattern of unresolved ADT variant.Dawer2021-05-312-50/+14
| |
| * Clean up, more docs.Dawer2021-05-315-105/+384
| |
| * Check pattern types.Dawer2021-05-313-30/+85
| |
| * Expand binding patterns.Dawer2021-05-312-6/+110
| |
| * Fix visibility warningsDawer2021-05-313-12/+12
| |
| * Lower binding patternDawer2021-05-312-9/+28
| |
| * Lower bool literalsDawer2021-05-312-13/+29
| |
| * Treat ctor of unhandled type as non-exhaustive.Dawer2021-05-312-4/+24
| |
| * Lower Pat::PathDawer2021-05-311-0/+18
| |
| * Do not do match check if lowering failed.Dawer2021-05-311-2/+19
| |
| * Fix panics on pattern_arena.borrow with ugly cloningDawer2021-05-312-16/+15
| |
| * Basic lowering hir_def::exrp::Pat -> typed HIR.Dawer2021-05-315-164/+387
| | | | | | | | Pattern arena is broken
| * Handle unordered fields in struct patternsDawer2021-05-311-2/+12
| |
| * Complete field replacingDawer2021-05-311-2/+7
| |
| * Support bool literal patternsDawer2021-05-312-9/+182
| |
| * Check enum patternsDawer2021-05-313-6/+124
| |
| * Build wildcard witnesses instead of panickingDawer2021-05-311-8/+8
| |
| * Implement struct ctor applicationDawer2021-05-315-69/+121
| |
| * Add remaining Constructor variantsDawer2021-05-311-14/+56
| |
| * 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-313-24/+24
| |
| * Enable generation of non-exhaustiveness witnessesDawer2021-05-313-13/+76
| |
| * Update match checking.Dawer2021-05-316-1/+1471
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* | Merge #9090bors[bot]2021-05-313-12/+82
|\ \ | | | | | | | | | | | | | | | | | | | | | 9090: hir_ty: use correct receiver_ty in method resolution r=cynecx a=cynecx Fixes https://github.com/rust-analyzer/rust-analyzer/issues/8100. Co-authored-by: cynecx <[email protected]>
| * | hir_ty: use correct receiver_ty in method resolutioncynecx2021-05-313-12/+82
| |/
* | Merge #9091bors[bot]2021-05-311-1/+1
|\ \ | |/ |/| | | | | | | | | | | 9091: Fix opening single files r=SomeoneToIgnore a=SomeoneToIgnore Closes https://github.com/rust-analyzer/rust-analyzer/issues/9082 Co-authored-by: Kirill Bulatov <[email protected]>
| * Fix opening single filesKirill Bulatov2021-05-311-1/+1
|/
* Merge #9088bors[bot]2021-05-311-1/+0
|\ | | | | | | | | | | | | | | | | 9088: minor: remove debug print r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * minor: remove debug printAleksey Kladov2021-05-311-1/+0
| |
| |
| \
*-. \ Merge #9084 #9087bors[bot]2021-05-313-118/+43
|\ \ \ | |_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9084: fix: avoid panics in match case diagnostic r=matklad a=matklad bors r+ 🤖 closes #8809 9087: fix: fix shell injection in task spawning r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| | * fix: fix shell injection in task spawningAleksey Kladov2021-05-311-6/+6
| |/ |/| | | | | closes #9058
* | Merge #9086bors[bot]2021-05-311-1/+1
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 9086: minor: try fixing proc_macro_srv tests r=jonas-schievink a=jonas-schievink Not entirely sure what's going wrong in https://github.com/rust-analyzer/rust-analyzer/pull/9084, but this might fix it? bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Use `cargo check` againJonas Schievink2021-05-311-1/+1
|/ /
| * minor: it's Parameter, not ArgumentAleksey Kladov2021-05-312-5/+5
| |
| * fix: avoid panics in match case diagnosticAleksey Kladov2021-05-311-108/+33
|/
* Merge #8952bors[bot]2021-05-311-1/+71
|\ | | | | | | | | | | | | | | 8952: add support of impl block for doctest into runnables r=matklad a=bnjjj close #6356 Co-authored-by: Benjamin Coenen <[email protected]>
| * add support of impl block for doctest into runnablesBenjamin Coenen2021-05-241-1/+71
| | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
* | Merge #9083bors[bot]2021-05-316-242/+117
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9083: internal: Simplify proc_macro_srv tests r=jonas-schievink a=jonas-schievink Removes `serde_derive`, instead using `proc_macro_test` macros. Should fix https://github.com/rust-analyzer/rust-analyzer/issues/9067 bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | Simplify proc_macro_srv testsJonas Schievink2021-05-316-242/+117
|/ /