internal: cleanup item parsing

minor: parser cleanup

Merge #10268

10268: intenral: simplify parser r=matklad a=matklad

bors r+
🤖

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

minor: simplify

minor: cleanup

Merge #10265

10265: internal: parser cleanups r=matklad a=matklad

bors r+
🤖

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

minor: simplify

internal: more local parsing tests for macros

internal: more focused parsing tests

internal: more local test for mod item

internal: more local parsing tests

internal: parser cleanups

Merge #10260

10260: fix: fix names generation in `Generate function` r=Veykril a=iDawer

- Improve fn name computation (close #10176).
- Handle tuple indexing expressions in argument position (should close  #10241)

Co-authored-by: Dawer <7803845+iDawer@users.noreply.github.com>

Merge #10264

10264: fix: Don't seek outside of character boundaries in completion handler r=Veykril a=iDawer

Fixes #10219 panic when entering `:` in `$0` places:
```rust
fn main() {
    "⊞$0";
}
```

```rust
struct S {
    д$0 u8
}
```

Co-authored-by: Dawer <7803845+iDawer@users.noreply.github.com>

fix completion handler trying to seek outside of character boundaries.

With this patch, in these examples
```rust
fn main() {
    "⊞$0";
}
```

```rust
struct S {
д$0 u8
}
```
entering ':' character in `$0` places shouldn't cause panics.

Merge #10257

10257: assists: turn while into loop r=Veykril a=agluszak

Implements an assist to turn a `while` loop into a `loop` loop, as requested in #10214.
I'm not sure sure what the guidelines are regarding naming assists convert_x_to_y vs replace_x_with_y.

This is my first commit to rust-analyzer :D Thank you `@matklad` for your awesome Explaining rust-analyzer series <3

Closes #10214

Co-authored-by: Andrzej Głuszak <gluszak.andrzej@gmail.com>

assists: turn while into loop

Handle tuple indexing expression in argument position in `Generate function`

Imrove fn name computation in `Generate function`

Merge #10254

10254: Fix a comment typo in autoderef.rs r=lnicola a=teor2345

There's a minor typo in a comment in autoderef.rs, although the meaning is clear if your pronounce the words out loud

Co-authored-by: teor <teor@riseup.net>

Merge #10251

10251: Fix typescript syntax errors r=lnicola a=Wilfred

Remove unwanted `:` and fix the naming of the boolean type.

Co-authored-by: Wilfred Hughes <me@wilfred.me.uk>

Fix a comment typo in autoderef.rs

Fix typescript syntax errors

Remove unwanted `:` and fix the naming of the boolean type.

Merge #10250

10250: internal: Improve call_hierarchy and incoming/outgoing_calls r=Veykril a=Veykril

bors r+

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

Improve call_hierarchy and incoming/outgoing_calls

Merge #10248

10248: internal: remove dead code r=matklad a=matklad

bors r+
🤖

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

internal: remove dead code

Merge #10048

10048: fix: correctly complete macro call if cursor at `!` r=Veykril a=unexge

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

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

Merge #10233

10233: fix: add multi-token mapping support to hovers r=Veykril a=spookyvision

implement #10070 in [`hover`](https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/ide/src/hover.rs)

Co-authored-by: Anatol Ulrich <anatol.ulrich@ferrous-systems.com>

add multi-token mappings for hover

# This is a combination of 3 commits.
# This is the 1st commit message:

add multi-token mappings for hover

# The commit message #2 will be skipped:

# make fallback an Option instead of vec

# The commit message #3 will be skipped:

# fix indentation

Merge #10247

10247: fix: Don't highlight unsafe traits as unsafe in safe impls r=Veykril a=Veykril

bors r+

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

Don't highlight unsafe traits as unsafe in safe impls

Merge #10240

10240: internal: Revert attributed items inlay hints r=Veykril a=Veykril

Reverts #10231 as the implementation there is actually wrong
bors r+

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

Revert attributed items inlay hints

Merge #10237

10237: fix: Do not wrap inlined local in parens when at block tail position r=Veykril a=Veykril

bors r+

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

fix: Do not wrap inlined local in parens when at block tail position

Merge #10232

10232: internal: Add more tests for ide functionality in attributed items r=Veykril a=Veykril

cc https://github.com/rust-analyzer/rust-analyzer/issues/9868

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

fix source_to_def trying to use attribute macro calls as containers

Pick smaller node ancestors first when descending at offset

Add some more attribute ide tests

fix: Use original definition ranges for ide_db::search instead of the expanded ranges

Merge #10204

10204: feat: Show the type of what is being dereferenced in a deref expression. r=theo-lw a=theo-lw

Addresses issue #10106.

In-progress - I'm trying to figure out why `hover_deref_expr_with_coercion` is failing.

Co-authored-by: Teddy_Wang <wangtheo662@gmail.com>

Improve hover over derference message

Merge #10231

10231: feat: Make inlay hints work in attributed items r=Veykril a=Veykril

Note the lack of chaining hints, this is currently due to macro expansion lacking the input whitespace. We might be able to recover this from the input somehow in the future.
Fixes https://github.com/rust-analyzer/rust-analyzer/issues/10043
bors r+

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

feat: Make inlay hints work in attributed items

Fix hover tests

Merge #10230

10230: fix: fix expansion order for fn-like macros and attributes in token descending r=Veykril a=Veykril

Second attempt(now with a test 🎉).
Fixes https://github.com/rust-analyzer/rust-analyzer/issues/10115

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

Enable attribte macros in ide fixtures

fix: fix expansion order for fn-like macros and attributes in token descending

Fix spelling

Merge #10229

10229: fix: do not complete builtin attributes for qualified paths r=Veykril a=Veykril

bors r+

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

fix: do not complete builtin attributes for qualified paths

Merge #10126

10126: feat: Speculatively expand attributes in completions r=Veykril a=Veykril


Fixes #9866

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

Exclude test file from rust tidy check

Downmap the token in attribute inputs when expanding speculatively

Merge #10199

10199: fix: Fix Cargo.toml change detection r=lnicola a=lnicola

Maybe fixes #9546

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

Shuffle code around to avoid an allocation

Speculatively expand attributes in completions

Merge #10225

10225: internal: Add proc-macro fixture directive r=Veykril a=Veykril

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

Merge #10226

10226: minor: Simplify r=Veykril a=Veykril

bors r+

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

Simplify

Add proc-macro fixture directive

Fix Cargo.toml change detection

Merge #10222

10222: internal: Add workaround for rename error reporting r=lnicola a=lnicola

Fixes #9875

bors r+

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

Add workaround for rename error reporting

Merge #10221

10221: internal: prevent possible bugs when adding magical comments r=matklad a=matklad

bors r+
🤖

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

internal: document tribal knowledge of how to assist

internal: prevent possible bugs when adding magical comments

internal: simplify

internal: fix bugs in tests by simplifying code

minore: improve readability

Tuples are hard to understand

Merge #10218

10218: minor: Don't spam the manual with warnings r=lnicola a=lnicola

A single warning on the first line should™ be enough. Currently we put that warning on every section, while also breaking the table of contents in the process:


Fixes #9657

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

Don't spam the manual with warnings

Merge #10215

10215: Use correct file syntax node for decl_access computation in find_all_refs r=Veykril a=Veykril

Defs and refs of locals only ever life in one file, this isn't true for fields though.
Fixes https://github.com/rust-analyzer/rust-analyzer/issues/10201

bors r+

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

Use correct file syntax node for decl_access computation in find_all_refs

Merge #10213

10213: minor: Improve resilience of match checking r=flodiebold a=iDawer

In bug condition the match checking strives to recover giving false no-error diagnostic.

Suggested in https://github.com/rust-analyzer/rust-analyzer/pull/9105#discussion_r644656085

Co-authored-by: Dawer <7803845+iDawer@users.noreply.github.com>

Improve resilience of match checking

In bug condition the match checking strives to recover giving false no-error diagnostic.

Merge #10212

10212: fix: Avoid type inference panic on bitslice methods r=flodiebold a=flodiebold

Should fix #10090, fix #10046, and fix #10179.
This is only a workaround, but the proper fix requires some bigger
refactoring (also related to fixing #10058), and this at least prevents
the crash.

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

Avoid type inference panic on bitslice methods

Should fix #10090, #10046, #10179.
This is only a workaround, but the proper fix requires some bigger
refactoring (also related to fixing #10058), and this at least prevents
the crash.

Merge #10202

10202: fix: Type param hover shows correct sized bounds. r=flodiebold a=iDawer

Closes  #9949

This adds implicit `: Sized` bound to type parameters at lowering step.

Hovering on type parameter does not show it's `: Sized` bound be it set explicitly or implicitly. This is because it doesn't track that the bound was set implicitly.

### Perf

```rust
./target/rust-analyzer-baseline-3dae94bf -q analysis-stats --memory-usage .
Database loaded:     4.51s, 311minstr, 110mb (metadata 1.08s, 22minstr, 743kb; build 3.20s, 8730kinstr, -237kb)
  crates: 38, mods: 770, decls: 17173, fns: 12835
Item Collection:     29.63s, 85ginstr, 372mb
  exprs: 353460, ??ty: 364 (0%), ?ty: 232 (0%), !ty: 144
Inference:           118.25s, 284ginstr, 601mb
Total:               147.88s, 370ginstr, 973mb

./target/rust-analyzer-hover-ty-param-dfb15292 -q analysis-stats --memory-usage .
Database loaded:     4.53s, 311minstr, 110mb (metadata 1.10s, 22minstr, 743kb; build 3.20s, 8672kinstr, -189kb)
  crates: 38, mods: 770, decls: 17173, fns: 12835
Item Collection:     29.59s, 85ginstr, 372mb
  exprs: 353460, ??ty: 364 (0%), ?ty: 232 (0%), !ty: 144
Inference:           121.69s, 296ginstr, 601mb
Total:               151.28s, 382ginstr, 974mb

```

Co-authored-by: Dawer <7803845+iDawer@users.noreply.github.com>

Merge #10210

10210: minor: make code clearer with ControlFlow r=matklad a=matklad

bors r+
🤖

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

minor: make code clearer with ControlFlow

Merge #10207

10207: minor: improve readability r=matklad a=matklad

It's important that module interface doesn't depend on features. Better
hide features in bodies.

bors r+
🤖

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

minor: improve readability

It's important that module interface doesn't depend on features. Better
hide features in bodies.

Fix tests by importing core::ops::Deref

Merge #10206

10206: internal: Remove unused dependencies r=lnicola a=gilescope

cargo check --all-targets compiles cleanly without these dependencies for me.

Co-authored-by: Giles Cope <gilescope@gmail.com>

removing seemingly unused dev deps.

remove unused deps

minor: fix tests.

fix: Type param hover shows correct sized bounds.

internal: add implicit `: Sized` bound to type parameters.

Merge #10177

10177: fix: Treat path dependencies like workspace members r=jonas-schievink a=jonas-schievink

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

Fixes diagnostics not showing up in path dependencies.

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

Add tests. The tests with coercion fail, but I have no clue why.

Merge #10193

10193: fix: fix type mismatches with `panic!()` on Rust 1.55.0 r=jonas-schievink a=jonas-schievink

This addresses the regression mentioned in https://github.com/rust-analyzer/rust-analyzer/issues/8961#issuecomment-916332702

(no test because https://github.com/rust-analyzer/rust-analyzer/issues/10192 makes that rather hard, but I've checked that the analysis-stats are back to normal)

bors r+

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

Support the new `rustc_builtin_macro` syntax

Merge #10190

10190: minor: Bump deps r=lnicola a=lnicola

bors r+

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

Bump chalk

Bump deps

Merge #10188

10188: fix: add multi-token mapping support to runnables r=jonas-schievink a=lnicola

Closes #10184

changelog fix (first contribution) add multi-token mapping support to runnables

Co-authored-by: Anatol Ulrich <anatol.ulrich@ferrous-systems.com>