Merge #4878

4878: Make "Replace qualified name with use" replace *all* mentions of the path r=matklad a=jonas-schievink

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

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

Operate only on AST paths instead of HIR

Simplify

It's fookin' raw

Merge #4860

4860: Accept relative paths in rust-project.json r=matklad a=tweksteen

If a relative path is found as part of Crate.root_module or Root.path, interpret it as relative to the location of the rust-project.json file.

Fixes: #4816
Co-authored-by: Thiébaud Weksteen <tweek@google.com>

Merge #4877

4877: Fix syntax highlighting of recursive macros r=matklad a=ltentrup

Add syntax highlighting for the BANG (`!`) token if the parent is `MACRO_CALL`.

Before:
<img width="514" alt="before" src="https://user-images.githubusercontent.com/201808/84595030-11f65c00-ae56-11ea-9bb2-b1abe2236990.png">

After:
<img width="516" alt="recursive-macro" src="https://user-images.githubusercontent.com/201808/84594981-d196de00-ae55-11ea-8636-f877d5d795ff.png">

Fixes #4694.

Co-authored-by: Leander Tentrup <leander.tentrup@gmail.com>

Merge #4892

4892: Make ra_syntax::{SyntaxNodeChildren, SyntaxElementChildren} public. r=matklad a=davidlattimore

SyntaxNode::children and SyntaxNode::children_with_tokens return these types, but there's currently no way AFAIK to name them.

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

Merge #4893

4893: Add Embark Studios to the sponsors list r=matklad a=matklad

Forgot to do this when updating the sponsors list on the website the
last time :(

bors r+
🤖

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

Add Embark Studios to the sponsors list

Forgot to do this when updating the sponsors list on the website the
last time :(

Fix syntax highlighting of recursive macros

Add syntax highlighting for the BANG (`!`) token if the parent is `MACRO_CALL`.

Make ra_syntax::{SyntaxNodeChildren, SyntaxElementChildren} public.

SyntaxNode::children and SyntaxNode::children_with_tokens return these types, but there's currently no way AFAIK to name them.

Accept relative paths in rust-project.json

If a relative path is found as part of Crate.root_module or Root.path,
interpret it as relative to the location of the rust-project.json file.

Merge #4889

4889: Deprecate hir::Path::from_ast r=matklad a=matklad

bors r+
🤖

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

Update parser tests with env var

Allow attributes on expressions

https://github.com/rust-lang/rust/pull/69201/

Deprecate hir::Path::from_ast

Merge #4888

4888: Var naming r=matklad a=matklad

bors r+
🤖

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

Var naming

Merge #4882

4882: _match.rs: improve comment formatting r=matklad a=jonas-schievink

This results in much nicer rustdoc output

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

Merge #4880

4880: "fill match arms" assist: Match on bind patterns r=flodiebold a=tobz1000

This prevents duplication of match arms where the pre-existing arm is a bind pattern.

Co-authored-by: Toby Dimmick <tobydimmick@pm.me>

fill_match_arms bind pattern implementation

fill_match_arms bind pattern test

_match.rs: improve comment formatting

Merge #4875

4875: Introduce paths crate r=matklad a=matklad

It's a good idea to distinguish between absolute and relative paths at
the type level, to avoid accidental dependency on the cwd, which
really shouldn't matter for rust-analyzer service

bors r+
🤖

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

Introduce paths crate

It's a good idea to distinguish between absolute and relative paths at
the type level, to avoid accidental dependency on the cwd, which
really shouldn't matter for rust-analyzer service

Shorten *all* qualified paths when adding use

Expose `find_insert_use_container`

Fix `rewrite_root` when there's only 1 replacement

Merge #4867

4867: Cleanup URL handling r=matklad a=matklad

bors r+
🤖

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

Merge #4869

4869: Discourage allocation r=matklad a=matklad

bors r+
🤖

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

Discourage allocation

Cleanup URL handling

Merge #4868

4868: Fix if and while postfix completions r=matklad a=matklad

bors r+
🤖

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

Fix if and while postfix completions

Merge #4700

4700: Add top level keywords completion r=matklad a=mcrakhman

This fixes the following issue: https://github.com/rust-analyzer/rust-analyzer/issues/4566.

Also added simple logic which filters the keywords which can be used with unsafe on the top level.

Co-authored-by: Mikhail Rakhmanov <rakhmanov.m@gmail.com>
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

More concise completion tests

Cleanup

Merge #4862

4862: Revert "Hide squiggly for unused and unnecessary" r=matklad a=GabbeV

This reverts https://github.com/rust-analyzer/rust-analyzer/pull/4721

Co-authored-by: Gabriel Valfridsson <gabriel.valfridsson@gmail.com>

Remove accidentally added adoc file

Add keywords completions on source file position

Merge branch 'master' into keyword_completion

# Conflicts:
# docs/user/generated_features.adoc

Fix tests and remove unused methods

Add more patterns, tests and fix keywords

Rewrite snapshot checks

Revert "Hide squiggly for unused and unnecessary"

This reverts commit 599c105e6fabb2b81c2d0a11b86c0c96f6ab1b88.

Merge #4857

4857: Fix invalid shorthand initialization diagnostic for tuple structs r=jonas-schievink a=OptimalStrategy

Initializing tuple structs explicitly, like in the example below, produces a "Shorthand struct initialization" diagnostic that leads to a compilation error when applied:
```rust
struct S(usize);

fn main() {
    let s = S { 0: 0 };  // OK, but triggers the diagnostic
    // let s = S { 0 };  // Compilation error
}
```

This PR adds a check that the field name is not a literal.

Co-authored-by: OptimalStrategy <george@usan-podgornov.com>
Co-authored-by: OptimalStrategy <17456182+OptimalStrategy@users.noreply.github.com>

simplify determining whether the field is a tuple field

Merge #4855

4855: Use more idiomatic style for lifetimes in generated code r=matklad a=Veetaha

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

Merge #4856

4856: Simplify r=matklad a=Veetaha

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

Merge #4858

4858: find_path: return shorter paths for external items r=flodiebold a=jonas-schievink

If a containing module is already in scope, there's no need to use the full path to the item.

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

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

Remove comment and incorrect assert

Return snapshots to tests

find_path: return shorter paths for external items

If a containing module is already in scope, there's no need to
use the full path to the item.

More assert refactoring

Add more pattern tests

New testing approach for keywords

Fix invalid shorthand initialization diagnostic for tuple structs

Simplify

Apply codegen with idiomatic lifetimes

Use more idiomatic style for lifetimes in generated code

Add few smoke tests for patterns and refactoring

Add more patterns and keywords

Merge #4833

4833: Separating parsing of `for` in predicates and types r=matklad a=matthewjasper

We now correctly accept `for<'a> (&'a F): Fn(&'a str)` in a where clause and correctly reject `for<'a> &'a u32` as a type.

Co-authored-by: Matthew Jasper <mjjasper1@gmail.com>

Add example of old trait object syntax

Move complex inline test to own file

Merge #4849

4849: Make known paths use `core` instead of `std` r=matklad a=jonas-schievink

I'm not sure if this causes problems today, but it seems like it easily could, if rust-analyzer processes the libstd sources for the right `--target` and that target is a `#![no_std]`-only target.

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

Update wrap return tests

Update "no diagnostic" tests, use `()` instead of `String`

Merge #4850

4850: Indent chain `.` even if there's more stuff afterwards r=matklad a=matklad

bors r+
🤖

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

Indent chain `.` even if there's more stuff afterwards

Make known paths use `core` instead of `std`

Merge #4847

4847: Update crates r=kjeremy a=kjeremy

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

Update crates

Merge #4845

4845: Updated yanked crate r=kjeremy a=kjeremy

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

Updated yanked crate

Add todo

Add more keywords

Merge #4844

4844: Remove dead code r=matklad a=matklad

bors r+
🤖

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

Remove dead code

Merge #4843

4843: Don't guess macro expansion crate r=matklad a=matklad

bors r+
🤖

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

Don't guess macro expansion crate

Merge #4819

4819: Add an FST index to `ImportMap` and use it to speed up auto import r=matklad a=jonas-schievink

For the importing crate, we still use the symbol index, but I've modified it to only look at files that comprise that crate (instead of the whole workspace).

Oh, and since now the symbol query limit is respected correctly, it's possible that some results from the local crate now disappear if there are many matches.

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

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

Add symbol index FIXME

Make relevant_crates return a Set

Merge #4837

4837: Fix parser test directory name in dev docs r=matklad a=jacg

The docs referred to `parser/error` while in reality it is `parser/err`.

Co-authored-by: Jacek Generowicz <jacg@my-post-office.net>

Fix parser test directory name in dev docs

ImportMap: use IndexMap internally

It iterates in insertion order, which makes the ordering more
predictable.

Respect casing when searching for imports

Merge #4835

4835: Explain inline tests r=matklad a=matklad

bors r+
🤖

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

Explain inline tests

Move limit check down

Limit import map queries

Clean up import_map.rs

Add test for macro generated items

ImportsLocator: use ImportMap for non-local crates

ra_hir: expose `import_map::search_dependencies`

symbol_index: allow querying a single crate

Add an FST index to `ImportMap`

Fix the symbol query limit

Profile `world_symbols`

Merge #4834

4834: In field patterns, don't highlight local binding as a field r=matklad a=matklad

bors r+
🤖

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