aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
* Improve autocompletion by looking on the type and nameBenjamin Coenen2020-04-212-5/+6
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* Improve autocompletion by looking on the type and nameBenjamin Coenen2020-04-211-3/+1
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* Merge branch 'master' of github.com:rust-analyzer/rust-analyzerBenjamin Coenen2020-04-2156-392/+1031
|\
| * Merge #4071bors[bot]2020-04-211-7/+9
| |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4071: Cleanup args a bit r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| | * Cleanup args a bitAleksey Kladov2020-04-211-7/+9
| | |
| * | Refactor a bitEdwin Cheng2020-04-201-54/+51
| | |
| * | Fix restart missing arguments in proc-macro-srvEdwin Cheng2020-04-201-5/+9
| |/
| * Merge #4061bors[bot]2020-04-2012-191/+142
| |\ | | | | | | | | | | | | | | | | | | | | | | | | 4061: ra_proc_macro: cleanups here and there r=edwin0cheng a=Veetaha r? @edwin0cheng Co-authored-by: veetaha <[email protected]> Co-authored-by: Veetaha <[email protected]>
| | * Migrate to Result<T, io::Error> -> io::Result<T>veetaha2020-04-201-3/+3
| | |
| | * Fix doc commentveetaha2020-04-201-3/+3
| | |
| | * Fix typoVeetaha2020-04-201-1/+1
| | | | | | | | | Co-Authored-By: LaurenČ›iu Nicola <[email protected]>
| | * Display path not debug itVeetaha2020-04-202-8/+8
| | | | | | | | | | | | Co-Authored-By: LaurenČ›iu Nicola <[email protected]>
| | * Display path not debug itVeetaha2020-04-201-1/+1
| | | | | | | | | Co-Authored-By: LaurenČ›iu Nicola <[email protected]>
| | * ra_proc_macro: cleanups here and thereveetaha2020-04-2012-190/+141
| | |
| * | Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-205-29/+164
| | | | | | | | | | | | This should fix some of the worst performance problems.
| * | Fix panic in split_imports assistAleksey Kladov2020-04-203-4/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The fix is admittedly quit literally just papering over. Long-term, I see two more principled approaches: * we switch to a fully tree-based impl, without parse . to_string step; with this approach, there shouldn't be any panics. The results might be nonsensical, but so was the original input. * we preserve the invariant that re-parsing constructed node is an identity, and make all the `make_xxx` method return an `Option`. closes #4044
| * | Some clippy fixesJeremy Kolb2020-04-1911-19/+16
| |/
| * Merge #4036bors[bot]2020-04-189-6/+87
| |\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4036: Fix a bunch of unresovled references r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| | * Correctly infer types in guard expressionsAleksey Kladov2020-04-182-0/+30
| | | | | | | | | | | | | | | | | | | | | The root cause was that we forgot to add bindings from the arm to the guard expression closes #3980
| | * Fix goto definition for record patternsAleksey Kladov2020-04-187-6/+57
| | |
| * | Merge #4035bors[bot]2020-04-185-14/+47
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4035: Convert bool to ident instead of literal in mbe r=matklad a=edwin0cheng Fixed #1249 Currently we treat boolean literal as `tt::Literal` , which makes parsing $lit:lit matcher easily. However, proc-macro2 treat boolean literal as `ident` : https://github.com/alexcrichton/proc-macro2/blob/4173a21dc497c67326095e438ff989cc63cd9279/src/lib.rs#L939 OT: I am quite happy we finally need to fix this bug :) Co-authored-by: Edwin Cheng <[email protected]>
| | * | Convert bool to ident instead of literal in mbeEdwin Cheng2020-04-185-14/+47
| | | |
| * | | Merge #4034bors[bot]2020-04-186-21/+30
| |\ \ \ | | |/ / | |/| / | | |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4034: Add semantic tag for unresolved references r=matklad a=matklad This is a quick way to implement unresolved reference diagnostics. For example, adding to VS Code config "editor.tokenColorCustomizationsExperimental": { "unresolvedReference": "#FF0000" }, will highlight all unresolved refs in red. Co-authored-by: Aleksey Kladov <[email protected]>
| | * Add semantic tag for unresolved referencesAleksey Kladov2020-04-186-21/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is a quick way to implement unresolved reference diagnostics. For example, adding to VS Code config "editor.tokenColorCustomizationsExperimental": { "unresolvedReference": "#FF0000" }, will highlight all unresolved refs in red.
| * | Merge #4032bors[bot]2020-04-181-0/+27
| |\ \ | | |/ | |/| | | | | | | | | | | | | | | | 4032: Add mbe lifetime split test r=matklad a=edwin0cheng Co-authored-by: Edwin Cheng <[email protected]>
| | * Add mbe lifetime split testEdwin Cheng2020-04-181-0/+27
| | |
| * | Merge #3894bors[bot]2020-04-182-41/+331
| |\ \ | | |/ | |/| | | | | | | | | | | | | | | | | | | | | | 3894: Match check enum record r=flodiebold a=JoshMcguigan This PR implements match statement exhaustiveness checking for record type enums. It also make a minor addition to the test infrastructure to allow testing against a single diagnostic, so you can be sure your test is triggering (or not) whichever diagnostic you expect. Co-authored-by: Josh Mcguigan <[email protected]>
| | * missing match arm diagnostic support enum record typeJosh Mcguigan2020-04-182-41/+331
| | |
| * | Merge #4029bors[bot]2020-04-187-17/+117
| |\ \ | | |/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4029: Fix various proc-macro bugs r=matklad a=edwin0cheng This PRs does the following things: 1. Fixed #4001 by splitting `LIFETIME` lexer token to two mbe tokens. It is because rustc token stream expects `LIFETIME` as a combination of punct and ident, but RA `tt:TokenTree` treats it as a single `Ident` previously. 2. Fixed #4003, by skipping `proc-macro` for completion. It is because currently we don't have `AstNode` for `proc-macro`. We would need to redesign how to implement `HasSource` for `proc-macro`. 3. Fixed a bug how empty `TokenStream` merging in `proc-macro-srv` such that no L_DOLLAR and R_DOLLAR will be emitted accidentally. Co-authored-by: Edwin Cheng <[email protected]>
| | * Merge empty delim subtree in proc-macroEdwin Cheng2020-04-182-3/+11
| | |
| | * Split LIFETIME to two tokens in mbeEdwin Cheng2020-04-183-14/+89
| | |
| | * Ignore proc-macro in completionEdwin Cheng2020-04-182-0/+17
| | |
* | | Improve autocompletion by looking on the type and nameBenjamin Coenen2020-04-214-48/+47
| | | | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
* | | Merge branch 'master' of github.com:rust-analyzer/rust-analyzerBenjamin Coenen2020-04-1828-180/+691
|\| |
| * | find_path: Builtins are always in scopeFlorian Diebold2020-04-182-25/+50
| | | | | | | | | | | | Fixes #3977.
| * | Merge #4026bors[bot]2020-04-181-1/+10
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4026: Omit more parameter hints in the presence of underscores r=matklad a=lnicola Fixes #4017. Co-authored-by: LaurenČ›iu Nicola <[email protected]>
| | * | Omit more parameter hints in the presence of underscoresLaurențiu Nicola2020-04-181-1/+10
| | |/
| * | Merge #4023bors[bot]2020-04-184-27/+92
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4023: Fix another crash from wrong binders r=matklad a=flodiebold Basically, if we had something like `dyn Trait<T>` (where `T` is a type parameter) in an impl we lowered that to `dyn Trait<^0.0>`, when it should be `dyn Trait<^1.0>` because the `dyn` introduces a new binder. With one type parameter, that's just wrong, with two, it'll lead to crashes. Co-authored-by: Florian Diebold <[email protected]>
| | * | Fix another crash from wrong bindersFlorian Diebold2020-04-174-27/+92
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Basically, if we had something like `dyn Trait<T>` (where `T` is a type parameter) in an impl we lowered that to `dyn Trait<^0.0>`, when it should be `dyn Trait<^1.0>` because the `dyn` introduces a new binder. With one type parameter, that's just wrong, with two, it'll lead to crashes.
| * | | Fix incorrect order of syntax highlight rangesLeander Tentrup2020-04-172-1/+14
| | | |
| * | | Fix type equality for dyn TraitFlorian Diebold2020-04-173-5/+65
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes a lot of false type mismatches. (And as always when touching the unification code, I have to say I'm looking forward to replacing it by Chalk's...)
| * | | Add two more tests for associated typesFlorian Diebold2020-04-171-0/+174
| | | |
| * | | Don't use SyntaxNodePtr::range when determining scope for offsetAleksey Kladov2020-04-171-47/+52
| | |/ | |/|
| * | Merge #4012bors[bot]2020-04-172-3/+59
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4012: fix panic on ellipsis in pattern r=flodiebold a=JoshMcguigan fixes #3999 Co-authored-by: Josh Mcguigan <[email protected]>
| | * | fix panic on ellipsis in patternJosh Mcguigan2020-04-172-3/+59
| | | |
| * | | Don\t suggest import itself as a completion for importAleksey Kladov2020-04-172-1/+40
| | | |
| * | | Merge #4010bors[bot]2020-04-178-17/+83
| |\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4010: Fix handling of ranges in diagnostics r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| | * | | Simplify Diagnostic structureAleksey Kladov2020-04-176-51/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It's not entirely clear what subnode ranges should mean in the presence of macros, so let's leave them out for now. We are not using them heavily anyway.
| | * | | Correctly highlight ranges of diagnostics from macrosAleksey Kladov2020-04-175-21/+89
| | | | | | | | | | | | | | | | | | | | closes #2799
| | * | | Don't expose impl details of SyntaxPtrAleksey Kladov2020-04-178-14/+55
| | | | |