Always send experimental & semantic server caps.

Code formatting

Send dynamic didSave only if the client supports

Prepare server capabilities based on client ones.

Merge #5511

5511: Set the document version after changes are applied but before vfs r=kjeremy a=kjeremy

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

Set the document version after changes are applied but before vfs

Merge #5510

5510: Lighter weight tempdir r=matklad a=matklad

bors r+
🤖

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

Lighter weight tempdir

Merge #5508

5508: Update tracing r=kjeremy a=kjeremy

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

Update tracing

Merge #5507

5507: Require quotes around key-value cfg flags in rust-project.json r=matklad a=matklad

This matches rustc command-line flags, as well as the build.rs format.

bors r+
🤖

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

Require quotes around key-value cfg flags in rust-project.json

This matches rustc command-line flags, as well as the build.rs format.

Merge #5506

5506: Rename modules r=matklad a=matklad

bors r+
🤖

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

Rename modules

Merge #5505

5505: Cleanup CFG API r=matklad a=matklad

bors r+
🤖

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

Cleanup CFG API

Merge #5473

5473: Changes to rust-project.json r=matklad a=matklad

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

Remove dead code

Merge #5504

5504: Reduce visibility r=matklad a=matklad

bors r+
🤖

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

Reduce visibility

Merge #5498

5498: assists: change_return_type_to_result: clarify assist description r=matklad a=matthiaskrgr

I had a -> Option<PathBuf> fn, which I wanted to change to Result<PathBuf, _>, but despite advertising to do so, the assist did not change the result type to Result<PathBuf, _> but instead just wrapped it in a Result: <Result<Option<PathBuf>, _>.

I changed the assist description to "Wrap return type in Result" to clarify that the assist only wraps the preexisting type and does not do any actual Option-to-Result refactoring.

Co-authored-by: Matthias Krüger <matthias.krueger@famsik.de>

Merge #5480

5480: Fix snippetTextEdits applying to other files r=matklad a=TimoFreiberg

Fixes #4551
`vscode.window.visibleTextEditors` only contains editors whose contents are being displayed at the moment, so the previous logic only worked if the other file for which a snippetTextEdit is being received was visible in a separate split.

I feel that this is a hacky approach, so feel free to reject it for something nicer :)

Co-authored-by: Timo Freiberg <timo.freiberg@gmail.com>

Merge #5500

5500: ProblemMatcher fixes/improvements. r=matklad a=rickvanprim

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/5482.

ProblemMatcher auto detects relative/absolute paths and matches VSCode LSP's owner and source.  VSCode LSP updated to specify owner.

Co-authored-by: James Leitch <rickvanprim@gmail.com>

Merge #5503

5503: Replace superslice with API on path to stabilization r=matklad a=matklad

bors r+
🤖

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

Replace superslice with API on path to stabilization

Merge #5497

5497: Store macro invocation parameters as text instead of tt r=jonas-schievink a=lnicola

We don't want to expand macros on every source change because it can be arbitrarily slow, but the token trees can be rather large. So instead we can cache the invocation parameters (as text).

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

Merge #5501

5501: minor r=matklad a=matklad

bors r+
🤖

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

minor

ProblemMatcher auto detects relative/absolute paths and matches VSCode LSP's owner and source.  VSCode LSP updated to specify owner.

assists: change_return_type_to_result: clarify assist description

I had a -> Option<PathBuf> fn, which I wanted to change to Result<PathBuf, _>, but despite advertising to do so, the assist did not
change the result type to Result<PathBuf, _> but instead just wrapped it in a Result: <Result<Option<PathBuf>, _>.

I changed the assist description to "Wrap return type in Result" to clarify that the assist only wraps the preexisting type and does
not do any deep Option-to-Result refactoring.

Merge #5492

5492: Use symbol tags r=matklad a=kjeremy

Currently the only spec'd tag is "deprecated".

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

Move deprecated attribute to where it is needed

Store macro invocation parameters as text instead of tt

Use symbol tags

Fix snippetTextEdits applying to other files

vscode.window.visibleTextEditors only contains editors whose contents
are being displayed at the moment, so the previous logic only worked if
the other file for which a snippetTextEdit is being received was visible
in a separate split.

Merge #5488

5488: Update manual.adoc r=matklad a=Veetaha

Co-authored-by: Veetaha <veetaha2@gmail.com>

Merge #5489

5489: Clarify initializationOptions r=matklad a=kjeremy

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

Clarify initializationOptions

Update manual.adoc

Merge #5481

5481: Track document versions in the server r=kjeremy a=kjeremy

This also pushes diagnostics for the correct file version on close so that when it is reopened stale diagnostics are not shown.

Closes #5452

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

Update crates/rust-analyzer/src/main_loop.rs

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

Merge #5475

5475: Support `Trait as _` imports r=matklad a=jonas-schievink

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/2736

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Check that visibility upgrade path is hit

Merge #5487

5487: Setup global allocator in the correct crate r=matklad a=matklad

It worked before, but was roundabout

bors r+
🤖

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

Setup global allocator in the correct crate

It worked before, but was roundabout

Remove support for jemalloc

We only used it for measuring memory usage, but now we can use glibc's
allocator for that just fine

Merge #5478

5478: Replace existing visibility modifier in fix_visibility r=matklad a=TimoFreiberg

Fixes #4636

I would have liked to do something about the `// FIXME: this really should be a fix for diagnostic, rather than an assist.`, but that would take a while and there's no reason not to fix this immediately.

Co-authored-by: Timo Freiberg <timo.freiberg@gmail.com>

Merge #5479

5479: Allow gathering memory stats on non-jemalloc Linux r=matklad a=jonas-schievink

I could also parse `/proc/$PID/statm` to get the resident set size, but decided against that for now as it isn't terribly useful.

Note that `mallinfo()` is incredibly slow for some reason, and unfortunately this will be exposed to users via the "Memory Usage" command (even worse, the opened document will show the outdated values while the server is processing). So, not very ideal, but it keeps me from recompiling r-a with different feature sets all the time.

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Merge #5483

5483: bump crossbeam-channel r=kjeremy a=kjeremy

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

bump crossbeam-channel

Clear diagnostics for known file version on close

Store document version and pass back to the client

Allow gathering memory stats on non-jemalloc Linux

Replace existing visibility modifier in fix_visibility

Merge #5476

5476: Cleanup extact variable r=matklad a=matklad

bors r+
🤖

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

Cleanup extact variable

Support `Trait as _` imports

minor

More Rustic API for Env

Apply suggestions from code review

Co-authored-by: Laurențiu Nicola <lnicola@users.noreply.github.com>

Document new rust-project.json format

Replace OUT_DIR in project.json with general env

OUT_DIR doesn't make sense here, as this is a cargo-specific concept

Replace roots with include/exclude directories

Merge pull request #5447 from jethrogb/gitattributes

Update .gitattributes

Expose package roots more directly

Merge #5472

5472: Replace insta with expect r=matklad a=lnicola

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

Remove insta dep

Replace remaining insta uses

Merge #5451 #5463 #5465 #5466

5451: Highlight more cases of SyntaxKind when it is a punctuation r=matklad a=GrayJack

This maybe closes #5406
Closes  #5453

Separate what one expect to be a punctuation semantic token (like `,`, `;`, `(`, etc), and what is not (`&`, `::`, `+`, etc)

5463: Bump lexer r=matklad a=kjeremy

Since we're now on rust 1.45

5465: Bump chalk r=matklad a=kjeremy

5466: Do not show default types in function and closure return values r=matklad a=SomeoneToIgnore

Avoid things like
<img width="522" alt="image" src="https://user-images.githubusercontent.com/2690773/87985936-1bbe4f80-cae5-11ea-9b8a-5383d896c296.png">

Co-authored-by: GrayJack <gr41.j4ck@gmail.com>
Co-authored-by: kjeremy <kjeremy@gmail.com>
Co-authored-by: Kirill Bulatov <mail4score@gmail.com>

Merge #5467

5467: Allow null or empty values for configuration r=matklad a=kjeremy

Allow the client to respond to `workspace/configuration` with `null` values. This is allowed per the spec if the client doesn't know about the configuration we've requested.

This also protects against `null` or `{}` during initialize. I'm not sure if we want to interpret `{}` as "don't change anything" but I think that's a reasonable approach to take.

This should help with LSP clients working out of the box.

Fixes #5464

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

Merge #5471

5471: Typo r=matklad a=matklad

bors r+
🤖

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

Typo

Merge #5470

5470: Propagate cargo.target to checkOnSave r=matklad a=matklad

bors r+
🤖

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

Propagate cargo.target to checkOnSave

Merge #5458

5458: Use expect in some ra_hir_ty tests r=flodiebold a=lnicola

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

On second thought, we want to preserve the textMate here where all punctuation that are from a Attr be highlited as Attribute

`#` as Attribute
 - Issue  #5453

@ as operator

Protect against `{}`

Allow client to respond to workspace/configuration with null values

This is allowed per the spec if the client doesn't know about the configuration
we've requested.

Do not show default types in closures

Bump chalk

Bump lexer

Inline lang items in coercion tests

Merge #5460

5460: cargo update r=kjeremy a=kjeremy

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

cargo update

Merge #5439 #5459

5439: cargo update r=matklad a=kjeremy

5459: Fix typo r=matklad a=matklad

bors r+
🤖

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

Fix typo

Merge #5440

5440: Minor perf tweaks per clippy r=matklad a=kjeremy

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

Use expect in never_type tests

Use expect in coercion tests

Merge #5457

5457: Simplify r=matklad a=matklad

bors r+
🤖

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

Simplify

Add is_workspace_member for rust-project.json

It is currently unused, but, in the future, it will be used to:

* drive certain UX (symbols search by default will look only in the
members)
* improve performance (rust-analyzer will assume that non-members
change rarely)

If not specified, is_workspace member is inferred from the path

Merge #5456

5456: Simplify r=matklad a=matklad

bors r+
🤖

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

Simplify

Assingment semantic highlight

Handle semantic highlight when STAR is part of the `*{const, mut}`

Highlight more cases of SyntaxKind when it is a punctuation

Update .gitattributes

See rust-lang/rust#57858