Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | 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 | 5 | -69/+121 | |
| | | ||||||
| * | 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 | 6 | -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 | |||||
* | | hir_ty: use correct receiver_ty in method resolution | cynecx | 2021-05-31 | 3 | -12/+82 | |
|/ | ||||||
* | Merge #9088 | bors[bot] | 2021-05-31 | 1 | -1/+0 | |
|\ | | | | | | | | | | | | | | | | | 9088: minor: remove debug print r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | minor: remove debug print | Aleksey Kladov | 2021-05-31 | 1 | -1/+0 | |
| | | ||||||
* | | Merge #9084 #9087 | bors[bot] | 2021-05-31 | 2 | -112/+37 | |
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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]> | |||||
* | | Use `cargo check` again | Jonas Schievink | 2021-05-31 | 1 | -1/+1 | |
| | | ||||||
| * | minor: it's Parameter, not Argument | Aleksey Kladov | 2021-05-31 | 2 | -5/+5 | |
| | | ||||||
| * | fix: avoid panics in match case diagnostic | Aleksey Kladov | 2021-05-31 | 1 | -108/+33 | |
|/ | ||||||
* | Merge #8952 | bors[bot] | 2021-05-31 | 1 | -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 runnables | Benjamin Coenen | 2021-05-24 | 1 | -1/+71 | |
| | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]> | |||||
* | | Simplify proc_macro_srv tests | Jonas Schievink | 2021-05-31 | 5 | -241/+116 | |
| | | ||||||
* | | Merge #9079 | bors[bot] | 2021-05-31 | 1 | -3/+53 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | 9079: Don't take the parent kind of trailing attributes in attr completion r=Veykril a=Veykril bors r+ fixes https://github.com/rust-analyzer/rust-analyzer/issues/9076 Co-authored-by: Lukas Wirth <[email protected]> | |||||
| * | | Don't take the parent kind of trailing attributes in attr completion | Lukas Wirth | 2021-05-31 | 1 | -3/+53 | |
| | | | ||||||
* | | | Merge #9039 | bors[bot] | 2021-05-31 | 11 | -26/+154 | |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9039: feat: Complete fields and methods with `self.` prefixed when inside methods r=matklad a=Veykril ![w65NbjkZiG](https://user-images.githubusercontent.com/3757771/119984385-a0111700-bfc1-11eb-9dbf-52fdaa4d72b5.gif) Closes #7173 Co-authored-by: Lukas Wirth <[email protected]> | |||||
| * | | | Add config setting for self-on-the-fly | Lukas Wirth | 2021-05-31 | 7 | -2/+11 | |
| | | | | ||||||
| * | | | Move unprefixed field/method completion to `dot` | Lukas Wirth | 2021-05-31 | 3 | -93/+101 | |
| | | | | ||||||
| * | | | Less strings, more hir::Names | Lukas Wirth | 2021-05-31 | 4 | -13/+13 | |
| | | | | ||||||
| * | | | Complete `self.` prefixed fields and methods inside methods | Lukas Wirth | 2021-05-31 | 6 | -54/+165 | |
| |/ / | ||||||
* | | | Merge #8866 | bors[bot] | 2021-05-31 | 15 | -185/+94 | |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8866: Update salsa r=matklad a=jonas-schievink This updates salsa to include https://github.com/salsa-rs/salsa/pull/265, and removes all cancellation-related code from rust-analyzer Co-authored-by: Jonas Schievink <[email protected]> | |||||
| * | | | Update to prerelease | Jonas Schievink | 2021-05-29 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Update salsa | Jonas Schievink | 2021-05-27 | 14 | -184/+93 | |
| | | | | ||||||
* | | | | Merge #9060 | bors[bot] | 2021-05-31 | 6 | -18/+87 | |
|\ \ \ \ | |_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | | 9060: feat: Diagnose unimplemented built-in macros r=matklad a=jonas-schievink A number of built-in attribute macros are unsupported, I thought it might be useful to put a diagnostic on their definition in libcore. Not sure. Co-authored-by: Jonas Schievink <[email protected]> | |||||
| * | | | Diagnose unimplemented built-in macros | Jonas Schievink | 2021-05-30 | 6 | -18/+87 | |
| | | | | ||||||
* | | | | Use `Name`s instead of Strings in the completion rendering api | Lukas Wirth | 2021-05-31 | 10 | -142/+165 | |
| | | | | ||||||
* | | | | Merge #9025 | bors[bot] | 2021-05-31 | 1 | -34/+53 | |
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9025: internal: Display unknown types in `analysis-stats` r=flodiebold a=lnicola Co-authored-by: Laurențiu Nicola <[email protected]> | |||||
| * | | | | Display unknown types in analysis-stats | Laurențiu Nicola | 2021-05-27 | 1 | -34/+53 | |
| | | | | | ||||||
* | | | | | Merge #9068 | bors[bot] | 2021-05-30 | 6 | -146/+163 | |
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9068: Move more `CompletinoContext` fields to `ImmediateLocation` r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]> | |||||
| * | | | | | Move more fields to `ImmediateLocation` | Lukas Wirth | 2021-05-30 | 6 | -146/+163 | |
| | | | | | | ||||||
* | | | | | | hir_ty: don't pass where clauses of associated types down to chalk (temp. ↵ | cynecx | 2021-05-30 | 2 | -11/+28 | |
| | | | | | | | | | | | | | | | | | | | | | | | | fix #9052) | |||||
* | | | | | | Fix incorrect prefer_inner calls on some attribute completions | Lukas Wirth | 2021-05-30 | 1 | -6/+31 | |
|/ / / / / | ||||||
* | | | | | Merge #9062 | bors[bot] | 2021-05-30 | 2 | -4/+4 | |
|\ \ \ \ \ | |_|/ / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9062: internal: Bump deps r=lnicola a=lnicola Fixes #9061 bors r+ Co-authored-by: Laurențiu Nicola <[email protected]> | |||||
| * | | | | Bump deps | Laurențiu Nicola | 2021-05-30 | 2 | -4/+4 | |
| | | | | | ||||||
* | | | | | Only complete derive proc macros in `#[derive]` | Jonas Schievink | 2021-05-29 | 1 | -2/+1 | |
| | | | | | ||||||
* | | | | | Thread proc-macro types through the HIR | Jonas Schievink | 2021-05-29 | 5 | -10/+34 | |
| | | | | |