Merge #8246

8246: update vim ycm installation instruction r=Veykril a=PSeitz

Fixes https://github.com/rust-analyzer/rust-analyzer.github.io/pull/97

Co-authored-by: PSeitz <PSeitz@users.noreply.github.com>

remove enumeration

update vim ycm installation instruction

Merge #8244

8244: internal: track missing `.check_cancelled` r=matklad a=matklad

bors r+
🤖

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

internal: track missing `.check_cancelled`

Merge #8243

8243: Remove code duplication in highlight injection r=Veykril a=Veykril

bors r+

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

Remove code duplication in highlight injection

Merge #8241

8241: internal: cleanup hprof r=matklad a=matklad

bors r+
🤖

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

internal: cleanup hprof

Merge #8231

8231: Fold consecutive consts and statics r=matklad a=MozarellaMan

PR to implement #8114


Co-authored-by: Ayomide Bamidele <ayoeze@hotmail.com>

Merge #8237

8237: README: drop "experimental" r=jonas-schievink a=jonas-schievink

rust-analyzer is not very experimental anymore, so let's drop that.

bors r+

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

README: drop "experimental"

Merge #8235

8235: internal: make --log-file more discoverable r=matklad a=matklad

bors r+
🤖

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

internal: make --log-file more discoverable

formatting fix

Folding range for statics

Folding range for consts

New FoldKinds - Consts, Statics

Test cases for folding consts and statics

Merge #8222

8222: Don't mark unlinked file diagnostic as unused r=lnicola a=jonas-schievink

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/8215, at least on VS Code

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

Merge #8212

8212: Basic support macro 2.0 r=jonas-schievink a=edwin0cheng

Turn out it is quite straight forward :)

r @jonas-schievink


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

Remove unused test fixtures

Don't mark unlinked file diagnostic as unused

Merge #8221

8221: Prefer adding `mod` declaration to lib.rs over file.rs in UnlinkedFile fix r=Veykril a=Veykril

When there is a `lib.rs` and `main.rs` in one crate, one usually wants the `lib.rs` file to declare the modules.
bors r+

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

Prefer add `mod` declaration to lib.rs over file.rs in UnlinkedFile fix

Merge #8220

8220: Reorder some ide_db imports r=Veykril a=Veykril

bors r+

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

Cleanup ide_db imports

Merge #8214

8214: Mention the rustup version in the manual r=lnicola a=lnicola

Closes #7860

bors r+

changelog fix mention the `rustup` version in the installation instructions.

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

Mention the rustup version in the manual

Merge #8213

8213: Added support for const generics in impl generation r=Veykril a=ivan770

Closes #8211

Co-authored-by: ivan770 <leshenko.ivan770@gmail.com>

Added support for const generics in impl generation

Add support for doc on hover for macro 2.0

Unleash macro 2.0 in hightlight and more

Basic Support Macro 2.0

Merge #8201

8201: Fix recursive macro statements expansion r=edwin0cheng a=edwin0cheng

This PR attempts to properly handle macro statement expansion by implementing the following:

1.  Merge macro expanded statements to parent scope statements.
2.  Add a new hir `Expr::MacroStmts` for handle tail expression infer.

PS : The scope of macro expanded statements are so strange that it took more time than I thought to understand and implement it :(

Fixes  #8171

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

Merge #8209

8209: Add TokenText r=lnicola a=matklad

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

Add TokenText

Merge #8191

8191: syntax: return owned string instead of leaking string r=cynecx a=cynecx

Quick hack? to alleviate https://github.com/rust-analyzer/rust-analyzer/issues/8181#issuecomment-806019126. I haven't run any tests but this should affect performance since we are deallocating more.

r? @matklad

Co-authored-by: cynecx <me@cynecx.net>

syntax: return owned string instead of leaking string

Merge #8056

8056: completion relevance consider if types can be unified r=JoshMcguigan a=JoshMcguigan

This PR improves completion relevance scoring for generic types, in cases where the types could unify.

### Before


### After


changelog feature improve completions

Co-authored-by: Josh Mcguigan <joshmcg88@gmail.com>

completion relevance distinguish between exact type match and could unify

completion relevance consider if types can be unified

Merge #8206

8206: Ignore main functions not in root module r=Veykril a=ivan770

Closes #8195

Co-authored-by: ivan770 <leshenko.ivan770@gmail.com>

Ignore main functions not in root module

Fix recursive macro statement expansion

Merge #8200

8200: Use arrayvec 0.6 r=kjeremy a=lnicola

Closes #8198

changelog skip

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

Use more std::array::IntoIter

Use arrayvec 0.6

Merge #8197

8197: Rust 1.51 r=lnicola a=kjeremy

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

Rust 1.51

Merge #8193

8193: Fix manual description for rust_project.json r=Veykril a=tweksteen

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

Merge #8194

8194: Make a full clone in `release.yaml` to bring in tags r=lnicola a=lnicola

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

Make a full clone in release.yaml

Fix manual description for rust_project.json

Merge #7907

7907: Autoderef with visibility r=cynecx a=cynecx

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

I am not sure about the general approach here. Right now this simply tries to check whether the autoderef candidate is reachable from the current module. ~~However this doesn't exactly work with traits (see the `tests::macros::infer_derive_clone_in_core` test, which fails right now).~~ see comment below

Refs:

- `rustc_typeck` checking fields: https://github.com/rust-lang/rust/blob/66ec64ccf31883cd2c28d045912a76179c0c6ed2/compiler/rustc_typeck/src/check/expr.rs#L1610

r? @flodiebold

Co-authored-by: cynecx <me@cynecx.net>

Merge #8190

8190: Fix chalk_ir assertion r=flodiebold a=flodiebold

Fixes #8150.

I implemented a validator that catches this in the tests, but it'd need to get merged in Chalk first.

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

Fix chalk_ir assertion

Fixes #8150.

hir: don't use the self module as visible_from in iterate_method_candidates

hir_ty: don't call write_field_resolution when field candidate isn't visible

hir_def: move visibility queries from hir_ty to hir_def

Merge #8189

8189: Document unlinked-file diagnostic r=jonas-schievink a=jonas-schievink

fixes https://github.com/rust-analyzer/rust-analyzer/issues/8188

bors r+

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

Document unlinked-file diagnostic

Merge #8187

8187: Sweep the new TraitEnvironmentQuery r=jonas-schievink a=jonas-schievink

bors r+

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

Sweep the new TraitEnvironmentQuery

Merge #8184

8184: refine comment style of tests r=Veykril a=hi-rustin

Fix the comment style issues, it's in tests but maybe it's a little better to change it to this.

Co-authored-by: hi-rustin <rustin.liu@gmail.com>

refine comment style of tests

Merge #8168

8168: correct `convert to guard return` let_stmt r=Veykril a=hi-rustin

close https://github.com/rust-analyzer/rust-analyzer/issues/8074

Co-authored-by: hi-rustin <rustin.liu@gmail.com>

Merge #8183

8183: Fix missing command error with macros r=Veykril a=brandondong

**Reproduction:**
1. Define a struct through a macro (can be via `macro_rules`, proc macro, or `include!()`).
2. !!MISSING: command!! annotation appears. Clicking on it results in an error message. No matter where the macro is called/defined, the annotation is always at the start of the file.

**Cause:**
- For struct `A`, a `HasImpls` annotation is added just like for struct `B`. Unlike `B`, the file id for `A` is not the file we are adding annotations to but a macro file.
- The resolving step of the code lens does not succeed.

**Fix:**
- Check that the files match before computing offsets and adding `HasImpls`/`HasReferences` annotations.

Co-authored-by: Brandon <brandondong604@hotmail.com>

Merge #8177

8177: Limit the hints size by default r=Veykril a=SomeoneToIgnore

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/8175
Fixes https://github.com/rust-analyzer/rust-analyzer/issues/3138

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

Clean up implementation

Merge #8182

8182: Trim down IPC json size r=edwin0cheng a=edwin0cheng

This PR try to trim down the json of proc macro IPC by ignore token id if it equals to `TokenId::unspecifed`.

Test by following commands:
```bash
$ git clone https://github.com/gluon-lang/lsp-types.git
$ export RA_LOG="proc_macro_api=debug"
$ rust-analyzer -q analysis-stats --load-output-dirs --with-proc-macro . 2> debug.log
$ cat debug.log | awk '/^\[DEBUG proc_macro_api::msg\] >/ {print substr($0,31)}' >expand.log
$ stat -c "%s" expand.log
```

Before: 37576726
After: 28551718

So it trimed down 75%.

bors r+

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

Trim down IPC json size

Fix MISSING: command error with macros

correct `convert to guard return` let_stmt

fix

fix

add check

Merge #8159

8159: Ignore proc-macro stdout to prevent IPC crash r=edwin0cheng a=edwin0cheng

fixes  #7954

r? @flodiebold

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

Merge #8178

8178: Show item info when hovering intra doc links r=Veykril a=Veykril


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

Cleanup intra_doc_link parsing

Improve message usage in proc-macro

Reuse storage for the buffer send to child process of proc-macro.

Ignore proc-macro stdout to prevent IPC crash

Show item info when hovering intra doc links

Merge #8179

8179: cargo update r=kjeremy a=kjeremy

Removes dependency on socket2

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

cargo update

Removes dependency on socket2

Bump the default hint length

Merge #8176

8176: Cleanup r=matklad a=matklad

bors r+
🤖

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

Limit the hints size by default

Cleanup

Merge #8173

8173: simplify r=Veykril a=Veykril

bors r+

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

simplify

Merge #8174

8174: Simplify code r=matklad a=matklad

bors r+
🤖

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

Simplify code

changelog: skip

Merge #8170

8170: Merge bang-macros and derives in name resolution r=jonas-schievink a=jonas-schievink

bors r+

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

Merge bang-macros and derives in name resolution

Merge #8169

8169: Make more use of the HIR in rename::rename_to_self r=Veykril a=Veykril

bors r+

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

Make more use of the HIR in rename::rename_to_self

Merge #8167

8167: Use styleguide conforming import for ast nodes r=matklad a=matklad

bors r+
🤖

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

Use styleguide conforming import for ast nodes

Merge #8166

8166: Unify test style r=matklad a=matklad

bors r+
🤖

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

Unify test style

changelog skip

Merge #8165

8165: Tweak assits API to fit mutable syntax trees r=matklad a=matklad

bors r+
🤖

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

Tweak assits API to fit mutable syntax trees

changelog: skip