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>

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>

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.

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

Fix coercion from &Foo to an inference variable in a reference

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

Expand macros in blocks to expressions for now

Expanding to statements isn't handled properly yet and breaks things.

Fix range in goto_through_format test

Fix expansion of format_args

Merge #2499

2499: Remove ty from code_model r=matklad a=matklad

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

Remove dead code

Remove ty from code_model

Remove bodies from code_model

remove `infer` method from CodeModel

Merge #2498

2498: Drop some unused methods r=matklad a=matklad

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

Drop some unused methods

Cleanup Field ty

Cleanup Crate API

Merge #2466

2466: Handle partial resolve cases r=matklad a=edwin0cheng

Another try to fix #2443 :

We resolve all imports every time in `DefCollector::collect` loop even it is resolved previously.
This is because other unresolved imports and macros will bring in another `PerNs`, so we can only assume that it has been partially resolved.

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

Merge #2497

2497: Remove MacroFileKind r=matklad a=edwin0cheng

This PR move `to_macro_file_kind` to `hir_expand::db` and use it to get the `FragmentKind` directly, such that we can remove `MacroFileKind`.

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