aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
* 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 #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-312-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` 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]>
* | Simplify proc_macro_srv testsJonas Schievink2021-05-315-241/+116
| |
* | Merge #9079bors[bot]2021-05-311-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 completionLukas Wirth2021-05-311-3/+53
| | |
* | | Merge #9039bors[bot]2021-05-3111-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-flyLukas Wirth2021-05-317-2/+11
| | | |
| * | | Move unprefixed field/method completion to `dot`Lukas Wirth2021-05-313-93/+101
| | | |
| * | | Less strings, more hir::NamesLukas Wirth2021-05-314-13/+13
| | | |
| * | | Complete `self.` prefixed fields and methods inside methodsLukas Wirth2021-05-316-54/+165
| |/ /
* | | Merge #8866bors[bot]2021-05-3115-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 prereleaseJonas Schievink2021-05-291-1/+1
| | | |
| * | | Update salsaJonas Schievink2021-05-2714-184/+93
| | | |
* | | | Merge #9060bors[bot]2021-05-316-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 macrosJonas Schievink2021-05-306-18/+87
| | | |
* | | | Use `Name`s instead of Strings in the completion rendering apiLukas Wirth2021-05-3110-142/+165
| | | |
* | | | Merge #9025bors[bot]2021-05-311-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-statsLaurențiu Nicola2021-05-271-34/+53
| | | | |
* | | | | Merge #9068bors[bot]2021-05-306-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 Wirth2021-05-306-146/+163
| | | | | |
* | | | | | hir_ty: don't pass where clauses of associated types down to chalk (temp. ↵cynecx2021-05-302-11/+28
| | | | | | | | | | | | | | | | | | | | | | | | fix #9052)
* | | | | | Fix incorrect prefer_inner calls on some attribute completionsLukas Wirth2021-05-301-6/+31
|/ / / / /
* | | | | Merge #9062bors[bot]2021-05-302-4/+4
|\ \ \ \ \ | |_|/ / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9062: internal: Bump deps r=lnicola a=lnicola Fixes #9061 bors r+ Co-authored-by: LaurenČ›iu Nicola <[email protected]>
| * | | | Bump depsLaurențiu Nicola2021-05-302-4/+4
| | | | |
* | | | | Only complete derive proc macros in `#[derive]`Jonas Schievink2021-05-291-2/+1
| | | | |
* | | | | Thread proc-macro types through the HIRJonas Schievink2021-05-295-10/+34
| | | | |
* | | | | Merge #9050bors[bot]2021-05-296-4/+65
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9050: hir_ty: use async ret type for inference inside async bodies r=flodiebold a=cynecx Fixes #9004. Co-authored-by: cynecx <[email protected]>
| * | | | | hir_ty: use async ret type for inference inside async bodiescynecx2021-05-296-4/+65
| | | | | |
* | | | | | Merge #9054bors[bot]2021-05-291-1/+1
|\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9054: fix: fix `matches!` macro on nightly toolchains r=jonas-schievink a=jonas-schievink Fixes https://github.com/rust-analyzer/rust-analyzer/issues/9043 bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | | | | | Treat `pat_param` like `pat` fragmentsJonas Schievink2021-05-291-1/+1
| |/ / / / /
* | | | | | Merge #9051bors[bot]2021-05-291-5/+5
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 9051: Fix incorrect setting descriptions r=lnicola a=sclu1034 Descriptions for diagnostic warning hint and info display were swapped. Fixes #8485. Co-authored-by: Lucas Schwiderski <[email protected]>