Merge #2566

2566: Add a rudimentary json regex to get at information like `endLine` r=matklad a=oli-obk

Co-authored-by: Oliver Scherer <github35764891676564198441@oli-obk.de>

Properly format json

Add a rudimentary json regex to get at information like `endLine`

Merge #2564

2564: Introduce named constants for highlighting tag names. r=matklad a=omerbenamram

Refers to #2563 .

This is just a refactor of all the tag strings to named constants as suggested by @matklad.
An enum could _probably_ prevent some future inconsistencies (since strings are still accepted), but I think the constants here are just fine - since the frontend only cares about strings anyways.

The frontend doesn't know about about those constants, so we'll still need to be mindful for them there.

Note: I didn't touch the `STYLE` const (big css blob), we could probably make it a `format!` string using something like `once_cell::Lazy`, let me know if this is something that needs fixing (since it doesn't seem like a useful API outside of tests).

Also - I left those consts private, I assume if they were some kind of API we would have made it into an enum?

Co-authored-by: Omer Ben-Amram <omerbenamram@gmail.com>

use a module instead of prefixed consts.

introduce named constants for highlighting tag names.

Merge #2559

2559: Add some granularity to syntax highlighting. r=matklad a=omerbenamram

Hi,

I wanted to start using `rust-analyzer` a bit more frequently - one of the main blockers for me so far was the highlighting.

I just discovered it's possible to override the default colors with `ralsp.<something>` setting without waiting for #2061!

However, the current implementation was lumping a bunch of different tokens into `type` and `literal`.
The golden standard IMO is what Clion is currently doing (and is my current daily driver for rust).

Clion allows users to control the coloring for specific literal kinds, and the default is to distinguish between them (numerics get a different color from strings, and special colors for bytestrings).

I've also splitted the builtin types, which are also allowed to be highlighted speratly.
My goal is to match the default experience I'm getting with clion.
The only blockers now I think is that `rust-analyzer` doesn't corrently infer types in some situations, so the highlighting information is incorrect in those cases.

This is what it looks like so far (with colors overriden to match clion's theme):

If there are any other changes you feel is necessary let me know.

I did leave the default colors to match the current behavior, since I'm not familiar with the colors for this theme, I added some random (different) colors in the test to check that it indeed was working.

Co-authored-by: Omer Ben-Amram <omerbenamram@gmail.com>

fixed rainbow-highlighting test

Merge #2561

2561: Split generic and non-generic paths r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Use different types for path with and without generics

Merge #2552

2552: fix goto definition when inbetween tokens r=matklad a=succcubbus

fixes both goto_definition and goto_type_definition.
before, when running goto between some non-trivia token and an
identifier, goto would be attempted for the non-trivia token.
but this does not make sense for e.g. L_PAREN or COLONCOLON only for
IDENTs.

this resulted in goto actions not working when running them on the first
character of some identifier e.g. for `module::<|>method()` or
`method(<|>parameter)`.

now only IDENTs will be searched for in goto actions, though i'm not sure
if this is correct or if goto should also work for some other token types.

Co-authored-by: succcubbus <16743652+succcubbus@users.noreply.github.com>

Use all-features by default

Merge branch 'refs/heads/master' into feature/granular-scopes

Merge #2554

2554: Add macros for known names and paths r=matklad a=flodiebold

Co-authored-by: Florian Diebold <flodiebold@gmail.com>

Merge #2548

2548: Support setting cargo features and resolve `default` features by default r=matklad a=oxalica

Fixes #2524

Co-authored-by: oxalica <oxalicc@pm.me>

removed `type.alias`

added decorations

Merge #2557

2557: Remove some unwraps in add_new r=flodiebold a=kjeremy

I think this file could probably be simplified a little more but this at least gets me around the panic.

Fixes #2556

Co-authored-by: kjeremy <kjeremy@gmail.com>

Remove some unwraps in add_new

Use path macro

Rename N! to name!

Add macros for known names and paths

Merge #2555

2555: LSP 3.15 supports the deprecated tag on completions r=matklad a=kjeremy

So let's set it.

Co-authored-by: kjeremy <kjeremy@gmail.com>

LSP 3.15 supports the deprecated tag on completions

for goto and hover pick the token based on a priority

add tests for goto on tuple fields

try both surrounding tokens for hover

Merge #2550

2550: Infer - and ! using std::ops::{Neg, Not} r=flodiebold a=kiljacken

Found some low hanging fruit while taking a cursory look at index inferring.

Co-authored-by: Emil Lauridsen <mine809@gmail.com>

add failing test

use find() instead of filter().next()

fix goto definition when inbetween tokens

fixes both goto_definition and goto_type_definition.
before, when running goto between some non-trivia token and an
identifier, goto would be attempted for the non-trivia token.
but this does not make sense for e.g. L_PAREN or COLONCOLON only for
IDENTs. now only IDENTs will be searched for in goto actions.

scopes resolution is more granular

Enable `allFeatures` by default and fix lints

Merge #2551

2551: Refactor tt::Subtree delimiter r=matklad a=edwin0cheng

Refactor to :
```
#[derive(Debug, Clone, PartialEq, Eq, Hash, Default)]
pub struct Subtree {
    pub delimiter: Option<Delimiter>,
    pub token_trees: Vec<TokenTree>,
}

#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
pub enum Delimiter {
    Parenthesis,
    Brace,
    Bracket,
}
```

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Refactor tt::Delimiter

Correctly infer - and ! using std::ops::{Neg,Not}

Add helper for resolving associated type of trait in infer

Merge #2544

2544: Map first and last tokens in original_range r=matklad a=edwin0cheng

This PR try to fix the first part of the `original_range` : Try to map the first token and last token of a `SyntaxNode` , If success, return the union range of mapped tokens.

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Support setting cargo features

Map first and last node in original_range

Merge #2543

2543: Move use tree lowering to a separate module r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Correct obsolete comment

Move use tree lowering to a separate module

Merge #2540

2540: Dedupe from_source impls r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Dedupe from_source impls

Merge #2539

2539: Remove old location infra r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Remove old location infra

Move enum&union to new loc

Move structs to new loc

Simplify from_source

Move traits to the new loc

Merge #2537

2537: Switch to the new location for impls r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Switch to the new location for impls

Merge #2536

2536: Avoid recompiling serde r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Avoid recompiling serde

Merge #2535

2535: Do not trigger signature help on close r=matklad a=kjeremy

Brings us in line with TS.
Context: https://github.com/rust-analyzer/rust-analyzer/issues/2532#issuecomment-564994368

Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>

Do not trigger signature help on close

Merge #2530

2530: Update lsp-types more r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Update lsp-types more

Revert "Revert "Support LSP 3.15""

This reverts commit 1e0bf205eff81f04c0e1e6c208c3489327520c3f.

Revert "Support LSP 3.15"

This reverts commit 712700d8e027b108f9c4f8fa9acc2f25e453b6d1.

Merge #2528

2528: Revert "Support LSP 3.15" r=matklad a=matklad

Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Revert "Support LSP 3.15"

This reverts commit fcccf8ec59420d20edc53f7d787f2412e297f5fe.

This causes rust-analyzer die immediatelly after startup

Support LSP 3.15

This merely upgrades our protocol support. It does not add any of the new features.

Merge #2527

2527: Enable tsc builtin lint options  for vscode/extension r=matklad a=saneyuki

* These options are not enabled by `--strict` option and these options make a code more solid.
    * https://www.typescriptlang.org/docs/handbook/compiler-options.html
* For `noUnusedParameters` , we need to tweak tslint option to allow `_bar` style.

Co-authored-by: Tetsuharu OHZEKI <tetsuharu.ohzeki@gmail.com>

Enable noFallthroughCasesInSwitch option for vscode extension

Enable noImplicitReturns option for vscode extension

Enable noUnusedParameters option for vscode extension

Merge #2525

2525: Use ES2018 for vscode extension r=matklad a=saneyuki

Today's latest vscode v1.40 (Node.jsv12.4/V8 v7.6) supports ES2018
features natively.

We don't have to transform codes to ES6.

Co-authored-by: Tetsuharu OHZEKI <tetsuharu.ohzeki@gmail.com>

Merge #2526

2526: Support LSP 3.15 r=matklad a=kjeremy

This merely upgrades our protocol support. It does not add any of the new features.

Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>

Support LSP 3.15

This merely upgrades our protocol support. It does not add any of the new features.

Use ES2018 for vscode extension

Today's latest vscode v1.40 (Node.jsv12.4/V8 v7.6) supports ES2018
features natively.

We don't have to transform codes to ES6.

Merge #2523

2523: Fixed #2250 r=matklad a=gab-umich

Bugfix Debriefing:

1. Tuple in type annotation expands correctly;
2. Expansion will prefer the following delimiter when possible. This involves modification of previous test cases to match current behaviour.
3. New regression tests added to verify the consistency between tuple expansion in type annotation and tuple expansion in rvalue. Both should behave exactly the same.

Co-authored-by: Gabriel Luo <luogm@umich.edu>

Fixed #2250

Tuple in type annotation expands correctly;
Expansion will prefer the following delimiter when possible.
New regression tests added to verify the consistency between tuple expansion in type annotation and tuple expansion in rvalue.

Merge #2519

2519: Build correct SourceAnalyzer for traits r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Build correct SourceAnalyzer for traits

Merge #2516

2516: chore: bump deps and use mainline chalk r=matklad a=lnicola

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>

chore: bump deps and use mainline chalk

Merge #2514

2514: Code: enable prettier trailing commas r=matklad a=lnicola

See #2512.

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>

Code: enable prettier trailing commas

Merge #2513

2513: Report correct original range in goto_definition r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Report correct original range in goto_definition

Allow disabling sysroot

Might be helpful for debugging

Merge #2511

2511: Implement `ra_lsp_server --version` r=matklad a=matklad

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Implement `ra_lsp_server --version`

Merge #2510

2510: Add sourcemap for rollup and fix launch.json outfiles r=matklad a=edwin0cheng

Fix #2509

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Add rollup sourcemap and fix launch.json

Merge #2508

2508: Code: don't check for ra_lsp_server on Windows r=matklad a=lnicola

Workaround for https://github.com/rust-analyzer/rust-analyzer/pull/2503#issuecomment-562980020.

~~(not yet tested on Windows)~~

We can't run `ra_lsp_server --version` right now because the server doesn't seem to handle arguments (so it hangs).

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>

Code: don't check for ra_lsp_server on Windows

Merge #2507

2507: Code: bump deps r=matklad a=lnicola

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>

Code: bump deps

Merge #2500 #2505 #2506

2500: Fix format_args expansion & go to definition r=matklad a=flodiebold

The expansion of format_args wasn't yet correct enough to type-check. Also make macros in statement position expand to expressions for now, since it's not handled correctly in HIR lowering yet. This finally fixes go to definition within print macros, I think :slightly_smiling_face:

2505: Remove more dead code r=matklad a=matklad

2506: Remove one more Ty r=matklad a=matklad

Co-authored-by: Florian Diebold <flodiebold@gmail.com>
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Remove one more Ty

Remove more dead code

Cleanup module structure

Merge #2501 #2502 #2503

2501: Fix coercion from &Foo to an inference variable in a reference r=matklad a=flodiebold

We didn't try to unify within the reference, but we should.

2502: Delay legacy macro expansion r=matklad a=edwin0cheng

This PR make the following changes:

* Delay legacy macro expansion such that we concentrated all item collecting macro expansion in one place.
* Add `MacroDirective` to replace 3-tuples
* After this refactoring, no macro is expanded recursively, hence we can remove the `MacroStackMonitor` and we handle the expansion limit by the fix-point loop count.

2503: Code: check whether the LSP binary is in PATH r=matklad a=lnicola

I'm not really sure about the TS changes. I just made a couple of functions async and it seems to work.

Co-authored-by: Florian Diebold <flodiebold@gmail.com>
Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>
Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>

Merge #2504

2504: Use rustup toolchain install instead of rustup install r=matklad a=edwin0cheng

`rustup install` and `rustup uninstall` are going to be deprecated in rustup 1.21.0

See https://github.com/rust-lang/rustup/issues/2148

and https://www.reddit.com/r/rust/comments/e7rer9/we_need_your_help_before_rustup_1210_can_be/

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Use rustup toolchain instead of rustup install

Code: check whether the LSP binary is in PATH

Delay legacy macro expansion