applied rustfmt

fix: fill_match_arms doesn't add wildcard pat for local enums

Merge #11785

11785: fix: Fix tuple- and record struct completions not working with existing braces r=Veykril a=Veykril

bors r+

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

fix: Fix tuple- and record struct completions not working with existing braces

Merge #11782

11782: fix: Fix flyimport showing functions in pattern position r=Veykril a=Veykril

bors r+

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

fix: Fix flyimport showing functions in pattern position

Merge #11776

11776: Replace write! with direct `Formatter` calls r=Veykril a=lnicola

The final executable is somehow larger (36 239 296 vs 36 238 336 bytes), but this saves us a bit of `text` and `data`:

```
   text    data     bss     dec     hex filename
23719199 1126625    4377 24850201 17b2f19 rust-analyzer-baseline
23716027 1126377    4377 24846781 17b21bd rust-analyzer-pr
```

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

Replace write! with direct calls

Merge #11690

11690: feat: Add an assist for inlining type aliases r=Veykril a=steven-joruk

I'm working towards implementing #10881, but I'd like to get this in first with earlier feedback.

Is `inline_type_alias` a good enough name? I guess the follow up assist would be called `inline_type_alias_into_all_users` based on that.



Co-authored-by: Steven Joruk <steven@joruk.com>

refactor: Do more work in inline_type_alias closure

Merge #11775

11775: internal: Treat `global_asm` and `asm` macros as unsafe r=Veykril a=Veykril

bors r+

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

internal: Treat {global_}asm macros as unsafe

Merge #11774

11774: feat: Tag macro calls as unsafe if they expand to unsafe expressions r=Veykril a=Veykril

as long as they aren't inside an unsafe block inside the macro that is.

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

Simplify

feat: Tag macro calls as unsafe if they expand to unsafe expressions

Merge #11771

11771: feat: Visualize compiler inserted reborrows via inlay hints r=Veykril a=Veykril

Disabled by default.


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

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

Update inlay hint feature docs

feat: Visualize compiler inserted reborrows via inlay hints

Merge #11765

11765: fix: Fix closure hints using macro ranges r=Veykril a=Veykril

bors r+

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

fix: Fix closure hints using macro ranges

Merge #11755

11755: feat: Implement lifetime elision hints r=Veykril a=Veykril

With names on:
With names off:

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

Change skip trivial behaviour

Add option to skip trivial cases

Use numbers for lifetimes by default, add setting to prefer using parameter names

Merge #11761

11761: internal: Rename call info to "signature help" r=jonas-schievink a=jonas-schievink

It is no longer limited to just calls

bors r+

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

Rename call info to "signature help"

It is no longer limited to just calls

Merge #11760

11760: feat: Provide signature help when editing generic args r=jonas-schievink a=jonas-schievink


bors r+

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

Provide signature help when editing generic args

Fix test fixtures

Give the lifetimes better names

feat: Implement lifetime elision hints

Merge #11752

11752: internal: Allow explicitly specifying end of fixture annotation r=Veykril a=Veykril

bors r+

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

internal: Allow explicitly specifying end of fixture annotation

Merge #11753

11753: feat: Complete assoc const patterns on builtin types r=jonas-schievink a=jonas-schievink

followup to https://github.com/rust-analyzer/rust-analyzer/pull/11713

bors r+

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

Complete assoc const patterns on builtin types

Merge #11713

11713: Complete associated consts in patterns  r=jonas-schievink a=hi-rustin

Try close https://github.com/rust-analyzer/rust-analyzer/issues/11555

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

Update crates/ide_completion/src/tests/pattern.rs

Merge #11750

11750: fix: Fix runnables trying to add doc tests in the crate root from #[macro_export] macros r=Veykril a=Veykril

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/11746
bors r+

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

fix: Fix runnables trying to add doc tests in the crate root from #[macro_export] macros

Merge #11747

11747: minor: Remove Update GitHub API token command r=lnicola a=lnicola

bors r+

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

Remove Update GitHub API token command

Merge #11744

11744: Bump deps r=lnicola a=lnicola

bors r+

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

Bump deps

Merge #11743

11743: fix: Properly unify receivers during method resolution r=flodiebold a=flodiebold

This fixes our type inference problems with `DynMap`; the problem there were the projection types in
```rust
impl<P: Policy> KeyMap<Key<P::K, P::V, P>>
```
which messed up the naive type equality check we did. It also actually simplifies the logic though, IMO. I also added a fix for associated const resolution that I noticed (visibility not being taken into account).

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

Move fallback_bound_vars to the only place it's used now

Fixes for consts

Snapshot obligations

Properly try unifying the receivers during method resolution

Instead of hackily checking if they're equal.

Fix typo

Signed-off-by: hi-rustin <rustin.liu@gmail.com>

Add test for DynMap type inference

Match the enum and union

Signed-off-by: hi-rustin <rustin.liu@gmail.com>

Merge #11741

11741: Emit #[must_use] in Generate enum is_variant assist r=lnicola a=lnicola

bors r+

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

Merge #11740

11740: Insert #[must_use] in generate_is_empty_from_len r=lnicola a=Walther

Inserts `#[must_use]` for the generated `is_empty` methods. I also added the `#[must_use]` for the `len()` methods in the documentation examples and tests for this generator while at it, to make sure they too encourage the use of the annotation.

From discussion in https://github.com/rust-analyzer/rust-analyzer/issues/11736 and https://github.com/rust-analyzer/rust-analyzer/pull/11738

Co-authored-by: Walther <veeti.haapsamo@gmail.com>

Emit #[must_use] in Generate enum is_variant assist

Insert #[must_use] in generate_is_empty_from_len

Merge #11737 #11739

11737: Emit `#[must_use]` in `Generate new` assist r=lnicola a=lnicola

Closes #11736

11739: Insert #[must_use] in generate_getter r=lnicola a=Walther

Inserts `#[must_use]` for the generated getter methods.

From discussion in https://github.com/rust-analyzer/rust-analyzer/issues/11736 and https://github.com/rust-analyzer/rust-analyzer/pull/11738

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>
Co-authored-by: Walther <veeti.haapsamo@gmail.com>

Insert #[must_use] in generate_getter

Fix the wrong path resolution

Signed-off-by: hi-rustin <rustin.liu@gmail.com>

Add completes_associated_const test

Signed-off-by: hi-rustin <rustin.liu@gmail.com>

Complete associated consts in patterns

Signed-off-by: hi-rustin <rustin.liu@gmail.com>

Emit #[must_use] in Generate new assist

Merge #11735

11735: Fix const generic panic, again r=lnicola a=HKalbasi

fix https://github.com/rust-analyzer/rust-analyzer/pull/11734#issuecomment-1070526085

Co-authored-by: hkalbasi <hamidrezakalbasi@protonmail.com>

fix regression_11688_2

Merge #11734

11734: internal: Bump `xshell` and fix `dist` r=lnicola a=lnicola

bors r+

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

Bump xshell and fix dist

Merge #11731

11731: feat: Add return type hints for closures with block bodies r=Veykril a=Veykril

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/11386
bors r+

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

feat: Add return type hints for closures with block bodies

Merge #11727

11727: minor: Fix metrics.json path r=lnicola a=lnicola

CC https://github.com/rust-analyzer/rust-analyzer/pull/11724#issuecomment-1069047929

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

Fix metrics.json path

Merge #11694

11694: fix: "Extract to function" assist preserves `break` and `continue` labels r=Veykril a=m0rg-dev

Adds a label / lifetime parameter to `ide_assists::handlers::extract_function::FlowKind::{Break, Continue}`, adds support for emitting labels to `syntax::ast::make::{expr_break, expr_continue}`, and implements the required machinery to let `extract_function` make use of them.

This does modify the external API of the `syntax` crate, but the changes there are simple, not used outside `ide_assists`, and, well, we should probably support emitting `break` and `continue` labels through `syntax` anyways, they're part of the language spec.

Closes #11413.

Co-authored-by: Morgan Thomas <corp@m0rg.dev>

Merge #11726

11726: internal: More ide_completion refactoring r=Veykril a=Veykril

bors r+

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

Revert omitting field completions

Remove code duplication

Simplify completion render functionality

Rename compound things to variant things

Merge #11724

11724: minor: unblock metrics r=Veykril a=Veykril

bors r+

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

minor: unblock metrics

Merge #11720

11720: fix: Mark chaining hints as types r=SomeoneToIgnore a=lnicola

CC https://github.com/rust-analyzer/rust-analyzer/pull/11445#discussion_r826863321

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

Mark chaining hints as types, since that's what they are

Merge #11718

11718: Fix const generic panic r=lnicola a=HKalbasi

fix https://github.com/rust-analyzer/rust-analyzer/pull/11688#issuecomment-1066824954

Co-authored-by: hkalbasi <hamidrezakalbasi@protonmail.com>

fix const generic panic

Merge #11708

11708: Update manual for inlay hint customization r=Veykril a=ian-h-chamberlain

Related to #6405, #6883 but not sure if they should be closed or not as this is just a documentation update.

This functionality was changed as of #11445 and now can be customized using native VSCode settings instead of `rust-analyzer`-specific ones.

Co-authored-by: Ian Chamberlain <ian-h-chamberlain@users.noreply.github.com>

Merge #11714

11714: fix: Fix completions not always working in for-loop patterns r=Veykril a=Veykril

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/11205
bors r+

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

fix: Fix completions not always working in for-loop patterns

Merge #11710

11710:  editors/code: fix crash due to missing ID= field r=lnicola a=cab404

Assuming ID=linux by default.
Also removed toLowerCase — it really shouldn't be needed.
Fixes #11709

Co-authored-by: Vladimir Serov <me@cab404.ru>

editors/code: fix crash due to missing ID= field

Assuming ID=linux in isNixOs by default. You can get away with
default "", but why do that if there's a default value in spec?)

Also removed toLowerCase — it really shouldn't be needed.
Fixes #11709

Update manual for inlay hint customization

Closes #6883

This functionality was changed as of #11445 and now can be customized using native VSCode settings instead of `rust-analyzer`-specific ones.

Merge #11707

11707: minor: Simplify r=Veykril a=Veykril

bors r+

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

Simplify

Merge #11700

11700: :arrow_up: xshell r=matklad a=matklad

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

:arrow_up: xshell

Merge #11688

11688: Add const generics r=HKalbasi a=HKalbasi

#7434 is not in this PR, so there is no evaluation of constants and no default const argument. But the rest (type inference and method resolution with chalk) should work.

Chalk is pedantic about kind of generic arguments, and will panic in case of mixing type and const arguments. I tried to add test that, but I'm not sure if it covers all cases.

Co-authored-by: hkalbasi <hamidrezakalbasi@protonmail.com>

Add const generics

test: Make imported_external test that the full path is replaced

Merge #11696

11696: editors/code: fix nixos detection r=lnicola a=cab404

Problem: NixOS started using quotes around it's id field in /etc/os-release
Solution: Parially parsing os-release, and detecting, whether `nixos` appears anywhere in "ID=" field\
See https://github.com/rust-analyzer/rust-analyzer/issues/11695

Closes #11695

Co-authored-by: Vladimir Serov <me@cab404.ru>

editors/code: fix nixos detection

Problem: NixOS started using quotes around it's id field in /etc/os-release
Solution: Parially parsing os-release, and detecting, whether `nixos` appears anywhere in "ID=" field\
See https://github.com/rust-analyzer/rust-analyzer/issues/11695
Closes #11695

broke a test trying to make the diff look better...

fix: "Extract to function" assist preserves `break` and `continue` labels

Adds a label / lifetime parameter to `ide_assists::handlers::extract_function::FlowKind::{Break, Continue}`, adds support for emitting labels to `syntax::ast::make::{expr_break, expr_continue}`, and implements the required machinery to let `extract_function` make use of them.

This does modify the external API of the `syntax` crate, but the changes there are simple, not used outside `ide_assists`, and, well, we should probably support emitting `break` and `continue` labels through `syntax` anyways, they're part of the language spec.

Closes #11413.

chore: Remove unused import

refactor: Veykril's code review suggestions