Merge pull request #5738 from matklad/cfg

Rename ra_cfg -> cfg

fmt

Rename ra_cfg -> cfg

Simplify

Minimize deps

Rename ra_mbe -> mbe

:arrow_up: crates

Minor

Disabe macros TypeSCript builder

It hangs for some reason, and we are moving TS extension anyways...

Merge pull request #5734 from pksunkara/ra_proc_macro_srv

Rename ra_proc_macro_srv -> proc_macro_srv

Rename ra_proc_macro_srv -> proc_macro_srv

Merge #5730

5730: **Merge Imports** assist handles self
 r=matklad a=matklad

bors r+
🤖

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

**Merge Imports** assist handles self

Merge #5729

5729: Rename ra_syntax -> syntax
 r=matklad a=matklad

bors r+
🤖

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

Rename ra_syntax -> syntax

Merge #5727

5727: Rename ra_parser -> parser
 r=matklad a=matklad

bors r+
🤖

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

Rename ra_parser -> parser

Merge #5726

5726: Rename ra_text_edit -> text_edit
 r=matklad a=matklad

bors r+
🤖

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

Rename ra_text_edit -> text_edit

Cleanup TextEdit API

Rename ra_toolchain -> toolchain

Merge #5725

5725: Rename ra_tt -> tt
 r=matklad a=matklad

bors r+
🤖

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

Rename ra_tt -> tt

Merge #5724

5724: Rename ra_prof -> profile
 r=matklad a=matklad

bors r+
🤖

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

Rename ra_prof -> profile

Rename ra_arena

Merge #5723

5723: Completely remove cargo audit

My current feeling is that the build maintenance friction it creates
is not proportional to the benefits it provides.

We are pretty frugal with the set of Rust dependencies, and our
security model is we r=matklad a=matklad

bors r+
🤖

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

Completely remove cargo audit

My current feeling is that the build maintenance friction it creates
is not proportional to the benefits it provides.

We are pretty frugal with the set of Rust dependencies, and our
security model is "we run build.rs and proc macros", so it doesn't
seem like cargo audit could help us much.

Merge #5637

5637: SSR: Matching trait associated constants, types and functions r=matklad a=davidlattimore

This fixes matching of things like `HashMap::default()` by resolving `HashMap` instead of `default` (which resolves to `Default::default`).

Same for associated constants and types that are part of a trait implementation.

However, we still don't support matching calls to trait methods.

Co-authored-by: David Lattimore <dml@google.com>

Merge #5553

5553: Add fix ranges for diagnostics r=matklad a=SomeoneToIgnore

A follow-up of https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Fwg-rls-2.2E0/topic/Less.20red.20in.20the.20code

Now diagnostics can apply fixes in a range that's different from the range used to highlight the diagnostics.
Previous logic did not consider the fix range, having both ranges equal, which could cause a lot of red noise in the editor.
Now, the fix range gets used with the fix, the diagnostics range is used for everything else which allows to improve the error highlighting.

before:
<img width="191" alt="image" src="https://user-images.githubusercontent.com/2690773/88590727-df9a6a00-d063-11ea-97ed-9809c1c5e6e6.png">
after:
<img width="222" alt="image" src="https://user-images.githubusercontent.com/2690773/88590734-e1fcc400-d063-11ea-9b7c-25701cbd5352.png">

`MissingFields` and `MissingPatFields` diagnostics now have the fix range as `ast::RecordFieldList` of the expression with an error (as it was before this PR), and the diagnostics range as a `ast::Path` of the expression, if it's present (do you have any example of `ast::Expr::RecordLit` that has no path btw?).
The rest of the diagnostics have both ranges equal, same as it was before this PR.

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

Merge #4743

4743: Add tracking of packed repr, use it to highlight unsafe refs r=matklad a=Nashenas88

Taking a reference to a misaligned field on a packed struct is an
unsafe operation. Highlight that behavior. Currently, the misaligned
part isn't tracked, so this highlight is a bit too aggressive.

Fixes #4600

Co-authored-by: Paul Daniel Faria <Nashenas88@users.noreply.github.com>
Co-authored-by: Paul Daniel Faria <nashenas88@users.noreply.github.com>
Co-authored-by: Paul Daniel Faria <paulf@pop-os.localdomain>

Merge #5722

5722: Replace SepBy with Itertools

 r=matklad a=matklad

bors r+
🤖

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

Replace SepBy with Itertools

Merge #5721

5721: Cleanup parser modifiers tests

 r=matklad a=matklad

bors r+
🤖

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

Cleanup parser modifiers tests

Allow default everywhere

closes #5681

Merge #5720

5720: Fix docs

 r=matklad a=matklad

bors r+
🤖

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

Fix docs

Merge #5699

5699: Fix clippy warnings r=matklad a=popzxc

Currently clippy spawns a bunch of warnings on the `rust-analyzer` project. Nothing critical, but easy to fix, so I guess it won't harm.

Co-authored-by: Igor Aleksanov <popzxc@yandex.ru>

Revert style preference-related fixes

Merge #5719

5719: Minor

 r=matklad a=matklad

bors r+
🤖

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

Minor

Merge #5718

5718: Deny clippy

 r=matklad a=matklad

bors r+
🤖

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

Deny clippy

Merge #5717

5717: Minor

 r=matklad a=matklad

bors r+
🤖

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

Merge pull request #5716 from jonas-schievink/musl

Fix build on musl and test it in CI

Fix build on musl and test it in CI

Minor

Merge #5711

5711: Display snippet in the completion label r=matklad a=SomeoneToIgnore

Before, the completion did not show the actual snippet and it was hard to understand what to input to get the right snippet:

<img width="467" alt="image" src="https://user-images.githubusercontent.com/2690773/89941040-21f6a600-dc23-11ea-94b8-61f77f88feaf.png">
<img width="367" alt="image" src="https://user-images.githubusercontent.com/2690773/89941046-23c06980-dc23-11ea-8034-6c4e14357c94.png">

Now it's more clear:

<img width="315" alt="image" src="https://user-images.githubusercontent.com/2690773/89941124-42befb80-dc23-11ea-9fcc-5fd49cc92b74.png">
<img width="210" alt="image" src="https://user-images.githubusercontent.com/2690773/89941132-4488bf00-dc23-11ea-99c2-12ec66e0a044.png">

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

Merge #5715

5715: Simplify

 r=matklad a=matklad

bors r+
🤖

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

Simplify

Display snippet in the completion label

Better naming and docs

Simplify fix structure

Add rustdocs

Improve the ide diagnostics trait API

Move the DiagnosticsWithFix trait on the ide level

Make the fix AST source Optional

Refactor the diagnostics

Require source implementations for Diagnostic

Restore accidentally removed public method

Fix another missing fields diagnostics

Better naming

Less stubs

Custom ranges for missing fields

Separate diagnostics and diagnostics fix ranges

Merge #5708

5708: Use Hygiene in completion r=jonas-schievink a=lnicola

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

Merge #5707

5707: Address some FIXMEs for ra_assists r=jonas-schievink a=JmPotato

Signed-off-by: JmPotato <ghzpotato@gmail.com>
Co-authored-by: JmPotato <ghzpotato@gmail.com>

Merge #5705

5705: Log the command flycheck runs to debug misconfigurations r=jonas-schievink a=Veetaha

Without this users have no clue why flycheck fails to run.
This is what is printed to the output channel:
```
[ERROR rust_analyzer::main_loop] cargo check failed: Cargo watcher failed,the command produced no valid metadata (exit code: ExitStatus(ExitStatus(25856)))
```

I stumbled with this figuring out that rust-analyzer adds `--all-features` which is not intended
for some crates in the workspace (i.e. they have mutually-exclusive features).
Having the command rust-analyzer ran should help a lot

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

Merge #5704

5704: Update README.md r=jonas-schievink a=tim-weis

Fixed formatting.

Co-authored-by: Tim Weis <tim-weis@users.noreply.github.com>

Revert some FIXMEs

Signed-off-by: JmPotato <ghzpotato@gmail.com>

Typo fix

Signed-off-by: JmPotato <ghzpotato@gmail.com>

Use Hygiene in completion

Remove redundant dependencies

Signed-off-by: JmPotato <ghzpotato@gmail.com>

Typo fix

Signed-off-by: JmPotato <ghzpotato@gmail.com>

Address some FIXMEs

Signed-off-by: JmPotato <ghzpotato@gmail.com>

Log the command flycheck runs to debug misconfigurations

Without this users have no clue why flycheck fails to run.
This is what is printed to the output channel:
```
[ERROR rust_analyzer::main_loop] cargo check failed: Cargo watcher failed,the command produced no valid metadata (exit code: ExitStatus(ExitStatus(25856)))
```

I stumbled with this figuring out that rust-analyzer adds `--all-features` which is not intended
for some crates in the workspace (e.g. they have mutually-exclusive features.
Having the command rust-analyzer ran should help a lot

Update README.md

Fixed formatting.

Merge #5703

5703: Fix typos in syntax.md r=kjeremy a=lnicola

Closes #5700

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

Fix typos in syntax.md

Merge #5701

5701: cargo update r=kjeremy a=kjeremy

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

Merge #5696

5696: Return InvalidRequest if Shutdown has been requested r=kjeremy a=kjeremy

From the LSP 3.16 spec: "If a server receives requests after a shutdown request those requests should error with InvalidRequest."

Realized this behavior was missing while looking at #5693. Question on notification behavior is tracked at https://github.com/microsoft/language-server-protocol/issues/1066

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

Return InvalidRequest if Shutdown has been requested

From the LSP 3.16 spec: "If a server receives requests after a shutdown request those requests should error with InvalidRequest."

cargo update

Merge #5697

5697: Remove workaround for semantic token flickering r=jonas-schievink a=kjeremy

See: https://github.com/microsoft/vscode-languageserver-node/issues/576#issuecomment-593384479

This has been fixed since vscode 1.44

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

Revert boxing for large enum variant

Remove unused import left behind after rebasing

Fix type names broken by rebase, redo expected test because of rebase

Move unsafe semantics methods into `SemanticsImpl` and reference them in `Semantics`

Return bool from is_unsafe_method_call and cleanup usages

Move semantic logic into Semantics, fix missing tag for safe amp operator, using functional methods rather than clunky inline closure

Remove merge backup

Fix rebase errors

Move unsafe packed ref logic to Semantics, use `Attrs::by_key` to simplify repr attr lookup

Revert function structs back to using bool to track self param, use first param for self information in syntax highlighting instead

Deduplicate unsafe method call into a single function

Unsafe borrow of packed fields: account for borrow through ref binding, auto ref function calls

Cleanup repr check, fix packed repr check and test

Update FIXME comment to be more useful

Limit scope of unsafe to & instead of all ref exprs, add test showing missing support for autoref behavior