Merge #8975

8975: Use todo!() as placeholder body for generated match arms r=matklad a=jDomantas

`todo!()` seems to be a better fit for this than `{}`. Seeing that this assist predates stabilization of `todo` my guess is that simply no one bothered to change it yet.

Also fixed the issue where if the last arm was not block-like, rust-analyzer would not add a comma after it and would generate invalid code.

Co-authored-by: Domantas Jadenkus <djadenkus@gmail.com>

Merge #8977

8977: internal: minor `TokenMap` cleanups r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Fixup

Merge #8976

8976: internal: rename hypothetical -> speculative r=matklad a=matklad

bors r+
🤖

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

internal: rename hypothetical -> speculative

Lets steal this good naming from Roslyn before I forget about it yet
again.

add test that it does not create extraneous commas

tidy

generate match arms with todo!() as placeholder body

Make `TokenTextRange` private

Move `TokenMap` to its own file

Merge #8970

8970: fix: duplicate dependencies that have multiple DepKinds r=jonas-schievink a=jonas-schievink

Cargo collapses identical dependencies that are listed under `[dependencies]` and `[build-dependencies]` into a single `NodeDep`. We have to undo that by duplicating the dependency for each of its listed `DepKind`s.

Not doing that would incorrectly treat a dependency as `DepKind::Normal`, even though it is *also* meant to be a `DepKind::Build`.

Fixes https://github.com/rust-analyzer/rust-analyzer/pull/8812#issuecomment-847125395

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Duplicate dependencies that have multiple DepKinds

Merge #8967

8967: fix cursor position after item move command r=matklad a=eduardocanellas

Co-authored-by: Eduardo Canellas <eduardocanellas98@gmail.com>

fix: cursor position after item move command

closes Item movers need some fixes #8492

Merge #8963

8963: Bump deps r=matklad a=lnicola

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

Update test fixtures

Merge #8969

8969: fix: Update download instructions r=cschmatzler a=lnicola

Closes #8966

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

Update download instructions

Merge #8968

8968: docs: fix binary installation instructions r=matklad a=cschmatzler

fixes #8966

Co-authored-by: Christoph Schmatzler <christoph@schmatzler.name>

docs: fix binary installation instructions

issue #8926 removed uncompressed release artifacts. This updates the documentation to update instructions accordingly.

Merge #8965

8965: internal: intern `TypeBound` and `GenericArgs` r=jonas-schievink a=jonas-schievink

Saves a few MB, but not much

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Bump rustc_lexer

Disable `unaliged` feature of `object`

Intern `GenericArgs`

This shaves off another ~4 mb or so

Bump object

Bump misc deps

Bump chalk

internal: intern `TypeBound`s

Doesn't save much memory (~2 mb), but interning things is generally a
good pattern to follow

Merge #8955

8955: feature: Support standalone Rust files r=matklad a=SomeoneToIgnore


Closes https://github.com/rust-analyzer/rust-analyzer/issues/6388

Caveats:

* I've decided to support multiple detached files in the code (anticipating the scratch files), but I found no way to open multiple files in VSCode at once: running `code *.rs` makes the plugin to register in the `vscode.workspace.textDocuments` only the first file, while code actually displays all files later.
Apparently what happens is the same as when you have VSCode open at some workplace already and then run `code some_other_file.rs`: it gets opened in the same workspace of the same VSCode with no server to support it.
If there's a way to override it, I'd appreciate the pointer.

* No way to toggle inlay hints, since the setting is updated for the workspace (which does not exist for a single file opened)
> [2021-05-24 00:22:49.100] [exthost] [error] Error: Unable to write to Workspace Settings because no workspace is opened. Please open a workspace first and try again.

* No runners/lens to run or check the code are implemented for this mode.
In theory, we can detect `rustc`, run it on a file and run the resulting binary, but not sure if worth doing it at this stage.

Otherwise imports, hints, completion and other features work.

Co-authored-by: Kirill Bulatov <mail4score@gmail.com>

Add a FIXME

Merge #8962

8962: internal: try re-enabling debug info on releases again r=matklad a=matklad

bors r+
🤖

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

Small file error display fix

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

internal: try re-enabling debug info on releases again

full LTO OOMs the LLVM, lets try thin

cc https://github.com/rust-lang/rust/issues/85598

Merge #8959

8959: fix: can download server binary on windows again r=matklad a=matklad

bors r+
🤖

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

fix: can download server binary on windows again

Closes #8956

See https://github.com/rust-analyzer/rust-analyzer/pull/8951#issuecomment-846716999

Merge #8945

8945: fix: Make expected type work in more situations r=flodiebold a=flodiebold

Also makes call info show the correct types for generic methods.


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

Get rid of field_type again

Merge #8953

8953: feat: generate getter avoids generating types like `&Vec<T>` r=matklad a=matklad

bors r+
🤖

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

feat: generate getter avoids generating types like `&Vec<T>`

Merge #8954

8954: internal: document ItemTree design r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

internal: document ItemTree design

Don't discover workspaces when detached files are given

Merge #8948

8948: feat: generate getter assist places the cursor at the generated function r=matklad a=matklad

bors r+
🤖

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

Fix ts lint errors

feat: generate getter assist places the cursor at the generated function

Merge #8950

8950: minor: align import style with styleguide r=matklad a=matklad

bors r+
🤖

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

minor: align import style with styleguide

fix: reveal snippets

Deal with todos

minimize tests

remove duplicate tests

reduce duplication

Do not add cargo target for detached files only project

Drag detached files towards loading

Draft detached files retrieval

Send detached files info to server via init params

Start rust-analyzer server for arbitrary rust files

Merge #8947

8947: Correctly resolve crate name in use paths when import shadows it r=Veykril a=Veykril

Fixes #7763
bors r+

Co-authored-by: Lukas Tobias Wirth <lukastw97@gmail.com>

Correctly resolve crate name in use paths when import shadows itself

Merge #8946

8946: Minor: fix comment style r=matklad a=matklad

bors r+
🤖

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

Minor: fix comment style

See https://github.com/rust-analyzer/rust-analyzer/blob/master/docs/dev/style.md#documentation

Infer correct expected type in closure

Sadly currently only works if the closure body isn't completely missing.

Infer correct expected type for generic struct fields

Record method call substs and use them in call info

Merge #8944

8944: minor: explain why nested `TypeRef` aren't interned r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Explain why nested `TypeRef` aren't interned

Merge #8940

8940: Give ‘unsafe’ semantic token modifier to unsafe traits r=Veykril a=arzg

Hi! This is my first pull request that touches rust-analyzer itself beyond a search-and-replace, so please tell me if I should change anything or do anything differently. :)

Co-authored-by: Aramis Razzaghipour <aramisnoah@gmail.com>

Give ‘unsafe’ semantic token modifier to unsafe traits

Merge #8936 #8939

8936: fix: Improve nightly downloads with better local state management r=matklad a=SomeoneToIgnore

When any nightly is downloaded, we store its GitHub release id in the local cache and never invalidate that cache.

Due to this, it was possible to do the following sequence:
* have the nightly locally
* downgrade the extension to any stable version
* observe that despite the `"rust-analyzer.updates.channel": "nightly",` setting, no nightly updates are happening
* on the next day, the actual update happens (given the new nightly is released)

Since it's impossible to install nightly version directly through the VSCode marketplace, any fiddling with dev version results in the same situation: one have to wait for the next nightly release to happen in order to restore the nightly.

This PR
* invalidates the cache eagerly during bootstrap if the current plugin is not nightly
* enforces the release id check for nightly versions only
* fixes the `ctx.globalStoragePath` deprecated API usage

Hopefully, it also helps mysterious non-updated plugins that we encounter from time to time, but hard to tell for sure.

8939: internal: disable debug symbols due to failing windows build r=matklad a=matklad

bors r+
🤖

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

internal: disable debug symbols due to failing windows build

See https://github.com/rust-lang/rust/issues/85598

Merge #8938

8938: internal: Fix #8931 r=flodiebold a=flodiebold

  - and add some better checking for similar bugs

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

Paper over #8931 a bit more

The problem was the skipping of binders in
`resolve_method_call_as_callable`; this still doesn't use the _correct_
substitution, but at least it doesn't return a type with free variables
in it.

Fixes #8931.

More style fixes

Add test for #8931 and better checking

Style fix

Don't use a deprecated accessor

Better releaseId naming

Remove nightly release id from local storage for stable extensions

Download nightly extension when configured and run from stable extension version

Merge #8935

8935: docs(manual): Add rust-tools.nvim to nvim-lsp r=matklad a=simrat39

I'm not sure what to write there but this seems fine
https://github.com/simrat39/rust-tools.nvim/issues/16

Co-authored-by: sim <simrats169169@gmail.com>

docs(manual): Add rust-tools.nvim to nvim-lsp

Merge #8932

8932: internal: even prettier itemtrees r=jonas-schievink a=jonas-schievink

Extends the ItemTree pretty printer to handle all `Path`s, and to print generic parameters and where-clauses.

bors r+

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>

Render where clauses and more generic params

Pretty-print generic parameters

ItemTree: pretty-print all paths

Merge #8926

8926: internal: Drop uncompressed release artifacts and those following the old naming convention r=matklad a=lnicola

Closes #6996

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

Merge #8927

8927: internal: try enabling debug info for releases r=matklad a=matklad

bors r+
🤖

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

internal: try enabling debug info for releases

We now compress releases, so let's check  if debug info is light enough
to actually ship to users. Getting line numbers back would be helpful!

Drop uncompressed release artifacts and those following the old naming convention

Merge #8924

8924: Add last remaining module docstring r=flodiebold a=flodiebold

That was easier than expected.

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

Add last remaining module docstring

Merge #8923

8923: Add even more docs r=matklad a=matklad

bors r+
🤖

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

Add even more docs

Merge #8922

8922: Add more docs r=matklad a=matklad

bors r+
🤖

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

Add more docs

Merge #8868

8868: internal: replace AstTransformer with mutable syntax trees r=matklad a=matklad

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

use more precise name

Merge #8921

8921: Resolve any lifetime variables to 'static after inference r=flodiebold a=flodiebold

Chalk's unification can sometimes create lifetime variables, which we
currently don't really deal with, but at least we don't want to leak
them outside of inference.

Should fix #8919.

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

internal: replace AstTransformer with mutable syntax trees

Resolve any lifetime variables to 'static after inference

Chalk's unification can sometimes create lifetime variables, which we
currently don't really deal with, but at least we don't want to leak
them outside of inference.

Should fix #8919.