Auto merge of #12057 - harpsword:fix_validata_visibility, r=jonas-schievink

fix visibility token validation in trait impl with proc-macro

fix #11828

Auto merge of #12089 - lowr:fix/move-raw-ident-module-to-file, r=jonas-schievink

fix: handle raw identifiers in move_module_to_file

Fixes #12045

Note that I special case'd mod named `r#mod` as commented in the code. Although it's very unlikely that one would use such name, I included it in this fix for the sake of completeness.

fix visibility token validation in trait impl with proc-macro

Auto merge of #12098 - jonas-schievink:macro-rules-snippet, r=jonas-schievink

fix: show `macro_rules` snippet in blocks

fixes https://github.com/rust-lang/rust-analyzer/issues/12092

Show `macro_rules` snippet in blocks

Auto merge of #12097 - lnicola:revert-11490, r=lnicola

Revert #11490

Closes #11725

#11490 was a little misguided. Quoting the test name should be a client concern, since it's the client that actually runs `cargo`.

Revert "Correctly fix formatting doc tests with generics"

This reverts commit 5f3327a6b8925791ecdd9dbecb1bf1537c3ef9fc.

Revert "Update crates/ide/src/runnables.rs"

This reverts commit bf47acf1d3451eb281ea56a6ad8f5e1834ce6a8f.

Auto merge of #12085 - rainy-me:fix_fn_param, r=Veykril

fix: fn_param completion lookup

close #12073 caused by #12040

fix: remove lookup and handle mut kw case

fix: handle raw identifiers in move_module_to_file

Auto merge of #12083 - Veykril:inlays, r=Veykril

minor: Add test for parameter and reborrow hint order

minor: Add test for parameter and reborrow hint order

Auto merge of #12082 - iDawer:ide.signature_help, r=lnicola

fix: `signature_help`: use corresponding param list for methods

Close #12079

`signature_help`: use corresponding param list for methods

Auto merge of #12078 - Veykril:neither, r=Veykril

minor: Re-export `FxHashMap` and `FxHashSet` from `ide_db`

Re-export `FxHashMap` and `FxHashSet` from `ide_db`

Auto merge of #12077 - Veykril:neither, r=Veykril

minor: Remove `either` dependency from `ide_completion`

bors r+

minor: Remove either dependency from `ide_completion`

Auto merge of #12075 - jonas-schievink:less-aggressive-quickfixes, r=jonas-schievink

fix: Don't emit a quickfix for placeholder suggestions from rustc/clippy

Fixes https://github.com/rust-lang/rust-analyzer/issues/12069

Don't emit a quickfix for placeholder suggestions

Auto merge of #12007 - edwin0cheng:restart-proc-macro-reload, r=jonas-schievink

Restart proc-macro client when server reload

Fix #10719

Auto merge of #12071 - Ma124:fix-tabs-snippet, r=jonas-schievink

Change tabs to spacs in macro_rules snippet

This PR changes the `macro_rules!` snippet to use spaces instead of tabs.
The other snippets like [this one][test-snippet] already use spaces.

The snippet was introduced in 5575588 where no reason is provided to use tabs.

[test-snippet]: https://github.com/rust-lang/rust-analyzer/blob/master/crates/ide_completion/src/completions/snippet.rs#L70=

Auto merge of #12074 - jonas-schievink:deprioritize-flyimport, r=jonas-schievink

Reduce priority of flyimport completions

Fixes https://github.com/rust-lang/rust-analyzer/issues/12068

Reduce priority of flyimport completions

Auto merge of #12072 - bitgaoshu:master, r=jonas-schievink

fix #11973 associated type is unresolved

Change tabs to spacs in macro_rules snippet

#11973 associated type is unresolved

Auto merge of #12070 - rust-lang:message, r=matklad

minor: clarify error message

Clarify that the server is a whole is OK, and that it's only a single
requests that's dead

minor: clarify error message

Clarify that the server is a whole is OK, and that it's only a single
requests that's dead

Fix Reload Workspace command

Auto merge of #12064 - Veykril:attr-range, r=Veykril

fix: Fix `ide_db::search` not searching bodies of attributed items

Fixes https://github.com/rust-lang/rust-analyzer/issues/12050

fix: Fix ide_db::search not searching bodies of attributed items

Auto merge of #12063 - iDawer:ide.signature_help, r=Veykril

fix: Fall back to parameter definitions on error types in signature help

Fixes  #10432

Add fallback for return type

Fall back to parameter definitions on error types in signature help

Auto merge of #12060 - Veykril:completion-ctx, r=Veykril

minor: Simplify

bors r+

Simplify

Auto merge of #12058 - jonas-schievink:one-thread-with-extra-stack-please, r=jonas-schievink

fix: Spawn a new thread with a larger stack for the LSP and proc-macro server

This runs the server and proc-macro process in dedicated threads with 8 MB of stack space to paper over OS differences and fix occasional stack overflows.

This hopefully resolves https://github.com/rust-lang/rust-analyzer/issues/11669

Spawn a new thread with a larger stack for the server

Auto merge of #12054 - HKalbasi:const_generic, r=flodiebold

Fix const generic panic in dyn trait

fix #12048

remove trailing space

Add some comments about why never!() never happens

Auto merge of #12053 - willcrichton:master, r=jonas-schievink

Export lc.LanguageClient from VSCode extension

As described in [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Frust-analyzer/topic/Use.20Rust.20Analyzer.20in.20another.20VSCode.20extension), I would like to experiment with using Rust Analyzer's language server inside another VSCode extension, [Flowistry](https://github.com/willcrichton/flowistry). My current use case is to use one of Rust Analyzer's assists (extract function).

This PR would enable that experimentation by exporting the `lc.LanguageClient` from the `activate` function, which [allows other extensions to access it](https://code.visualstudio.com/api/references/vscode-api#extensions). This PR does **not** commit RA to any stability guarantees about the language client, similar to how rustc exports an unstable API.

fix const generic panic in dyn trait

Export lc.LanguageClient from VSCode extension

Auto merge of #12052 - lnicola:cargo-config, r=lnicola

minor: drop `install-ra` cargo alias

Rename cargo config to config.toml

Remove old install-ra cargo alias

Auto merge of #12015 - arjo129:master, r=jonas-schievink

[Documentation]: Update developer documentation link.

Just noticed the docs links broken. The current doc link was broken. replaced with the updated version as found on the front page. Should the rest of the links be updated?

Auto merge of #12051 - jonas-schievink:triagebot, r=jonas-schievink

Add triagebot.toml

Allow people to claim issues

Add triagebot.toml

Auto merge of #12040 - rainy-me:improve-parameter-completion, r=jonas-schievink

fix: Improve parameter completion

fix https://github.com/rust-lang/rust-analyzer/issues/12016 and handles some extra cases.

fix: lookup

Auto merge of #12044 - tedinski:fix_rustc_workspace, r=jonas-schievink

fix: index the correct CargoWorkspace with rustc_private

I believe this fixes #12043, but I'm not sufficiently setup/familiar with working on rust-analyzer to test it locally. :/

This section of code is iterating on `rustc_workspace.packages()` but then indexes `cargo[pkg]`, which is likely the source of the bug.

fix: index the correct CargoWorkspace with rustc_private

Auto merge of #12042 - jonas-schievink:remove-angle-brackets-from-lang-config, r=jonas-schievink

fix: remove angle brackets from language configuration

This should fix https://github.com/rust-lang/rust-analyzer/issues/12034

It looks like we shouldn't add any characters here that can be ambiguous, because it can make the editor highlight unrelated characters. This needs a parser to be correct, so the language server is the right place, not the editor. Upstream LSP feature request: https://github.com/microsoft/language-server-protocol/issues/672 (but it might be possible to implement this as an extension today, as long as that doesn't conflict with the built-in highlighting).

fix: remove angle brackets from language configuration

Auto merge of #12041 - jonas-schievink:prefer-core-cfg-attr-no-std, r=jonas-schievink

feat: prefer core/alloc over std in auto-imports if `#[no_std]` is conditional

We already did this if `#![no_std]` was present, this PR makes it work with `#![cfg_attr(not(test), no_std)]` too, which is very common in libraries.

Fixes https://github.com/rust-lang/rust-analyzer/issues/12035
cc https://github.com/rust-lang/rust-analyzer/issues/10718

Prefer core/alloc over std if no_std is conditional

fix: improve parameter completion

Auto merge of #12037 - lnicola:inlay-hint-config, r=lnicola

fix: Remove `rust-analyzer.inlayHints.enable` and set language scope

Closes #12036
CC https://github.com/rust-lang/rust-analyzer/issues/12027#issuecomment-1102990324

The key was left there by mistake in #12006.

Setting the configuration scope only works if you already have it created, which is fine, but unfortunately not quite discoverable.

Pass the language id when toggling inlay hints

Actually remove rust-analyzer.inlayHints.enable

Auto merge of #12032 - jonas-schievink:code-action-commands, r=jonas-schievink

feat: display signature help when applying "Add `::<>`" assist

Closes https://github.com/rust-lang/rust-analyzer/issues/12031

Allows triggering commands after an assist edit

Auto merge of #12029 - xuhongxu96:master, r=lnicola

Fix typo "GreeNode" in syntax.md

Fix typo "GreeNode" in syntax.md

Auto merge of #12028 - lnicola:fix-changelog, r=lnicola

internal: Fix changelog generation after repo move

Fix changelog generation after repo move

Auto merge of #12025 - Veykril:completion-ctx, r=Veykril

minor: Document completion context some more

minor: Document completion context some more

Auto merge of #12021 - Veykril:completion-ctx, r=Veykril

internal: Add a `NameContext` to `CompletionContext`, move out some ImmediateLocation variants

Continues the completion rewrite I started some time ago
(will merge tomorrow after stable since our completion tests still let a lot through)

Auto merge of #12024 - XFFXFF:derive_completion, r=Veykril

derive completions take existing derives into count

fixes #12019

The immediate reason is that when we are doing derive completion, [`ctx.existing_derives`](https://github.com/rust-lang/rust-analyzer/blob/d1f6b4e2a0ab1a1343ab4a381c89b186a76fd001/crates/ide_completion/src/completions/attribute/derive.rs#L82) is empty, this is because we expand the macro when looking for the ancestors of the token to be completed. Take the following code as an example, we find the first `SyntaxNode` with kind `Attr` based on the ancestors of the token, but the parent of `Attr` is not a `Struct` as we [expect](https://github.com/rust-lang/rust-analyzer/blob/d1f6b4e2a0ab1a1343ab4a381c89b186a76fd001/crates/hir/src/semantics.rs#L518).
```rust
#[derive(PartialEq, Eq, Or$0)]
struct S;
```
The ancestors of the token to be completed above.
```
    NAME_REF@24..26
      IDENT@24..26 "Or"
    ,
    PATH_SEGMENT@24..26
      NAME_REF@24..26
        IDENT@24..26 "Or"
    ,
    PATH@24..26
      PATH_SEGMENT@24..26
        NAME_REF@24..26
          IDENT@24..26 "Or"
    ,
    META@24..26
      PATH@24..26
        PATH_SEGMENT@24..26
          NAME_REF@24..26
            IDENT@24..26 "Or"
    ,
    ATTR@21..28
      POUND@21..22 "#"
      WHITESPACE@22..23 " "
      L_BRACK@23..24 "["
      META@24..26
        PATH@24..26
          PATH_SEGMENT@24..26
            NAME_REF@24..26
              IDENT@24..26 "Or"
      R_BRACK@26..27 "]"
      WHITESPACE@27..28 " "
    ,
    TUPLE_EXPR@0..32
      ATTR@0..14
        POUND@0..1 "#"
        WHITESPACE@1..2 " "
        L_BRACK@2..3 "["
        META@3..12
          PATH@3..12
            PATH_SEGMENT@3..12
              NAME_REF@3..12
                IDENT@3..12 "PartialEq"
        R_BRACK@12..13 "]"
        WHITESPACE@13..14 " "
      ATTR@14..21
        POUND@14..15 "#"
        WHITESPACE@15..16 " "
        L_BRACK@16..17 "["
        META@17..19
          PATH@17..19
            PATH_SEGMENT@17..19
              NAME_REF@17..19
                IDENT@17..19 "Eq"
        R_BRACK@19..20 "]"
        WHITESPACE@20..21 " "
      ATTR@21..28
        POUND@21..22 "#"
        WHITESPACE@22..23 " "
        L_BRACK@23..24 "["
        META@24..26
          PATH@24..26
            PATH_SEGMENT@24..26
              NAME_REF@24..26
                IDENT@24..26 "Or"
        R_BRACK@26..27 "]"
        WHITESPACE@27..28 " "
      L_PAREN@28..29 "("
      WHITESPACE@29..30 " "
      R_PAREN@30..31 ")"
      WHITESPACE@31..32 " "
...
```

I make a small change to not do macro expansion when looking up the ancestors of the token.

What I don't understand is that `self.sema.token_ancestors_with_macros(self.token.clone())` doesn't seem to expand the macro if the derive completion triggered without any prefix, like `#[derive(PartialEq, Eq, $0)]`.

The ancestors of the token with  `#[derive(PartialEq, Eq, $0)]`.
```
    TOKEN_TREE@8..25
      L_PAREN@8..9 "("
      IDENT@9..18 "PartialEq"
      COMMA@18..19 ","
      WHITESPACE@19..20 " "
      IDENT@20..22 "Eq"
      COMMA@22..23 ","
      WHITESPACE@23..24 " "
      R_PAREN@24..25 ")"
    ,
    META@2..25
      PATH@2..8
        PATH_SEGMENT@2..8
          NAME_REF@2..8
            IDENT@2..8 "derive"
      TOKEN_TREE@8..25
        L_PAREN@8..9 "("
        IDENT@9..18 "PartialEq"
        COMMA@18..19 ","
        WHITESPACE@19..20 " "
        IDENT@20..22 "Eq"
        COMMA@22..23 ","
        WHITESPACE@23..24 " "
        R_PAREN@24..25 ")"
    ,
    ATTR@0..26
      POUND@0..1 "#"
      L_BRACK@1..2 "["
      META@2..25
        PATH@2..8
          PATH_SEGMENT@2..8
            NAME_REF@2..8
              IDENT@2..8 "derive"
        TOKEN_TREE@8..25
          L_PAREN@8..9 "("
          IDENT@9..18 "PartialEq"
          COMMA@18..19 ","
          WHITESPACE@19..20 " "
          IDENT@20..22 "Eq"
          COMMA@22..23 ","
          WHITESPACE@23..24 " "
          R_PAREN@24..25 ")"
      R_BRACK@25..26 "]"
    ,
    STRUCT@0..39
      ATTR@0..26
        POUND@0..1 "#"
        L_BRACK@1..2 "["
        META@2..25
          PATH@2..8
            PATH_SEGMENT@2..8
              NAME_REF@2..8
                IDENT@2..8 "derive"
          TOKEN_TREE@8..25
            L_PAREN@8..9 "("
            IDENT@9..18 "PartialEq"
            COMMA@18..19 ","
            WHITESPACE@19..20 " "
            IDENT@20..22 "Eq"
            COMMA@22..23 ","
            WHITESPACE@23..24 " "
            R_PAREN@24..25 ")"
        R_BRACK@25..26 "]"
      WHITESPACE@26..27 " "
      STRUCT_KW@27..33 "struct"
      WHITESPACE@33..34 " "
      NAME@34..38
        IDENT@34..38 "Test"
      SEMICOLON@38..39 ";"
...
```

derive completions take existing derives into count

Auto merge of #12023 - edwin0cheng:add-more-log, r=edwin0cheng

internal: more visibility for switch workspaces and its states

More visibility for switch workspaces and its states

internal: Add a `NameContext` to `CompletionContext`, move out some ImmediateLocation variants

Auto merge of #12017 - lnicola:bump-deps, r=lnicola

minor: Bump deps

Bump deps

Auto merge of #12013 - XFFXFF:associated_const_equality, r=Veykril

fix: support `associated_const_equality` in parser

This pr fixes #11965.  The parser now allows eq constraints on associated constants.

I've added tests for `HasCount<Count = {N}>` and `HasCount<Count = 0>`

Update docs link

The current doc link was broken. replaced with the updated version as found on the front page.

update parser to support associated const equality

Auto merge of #12014 - Veykril:expmacfmt, r=Veykril

feat: Attempt to format expand_macro output with rustfmt if possible

Fixes https://github.com/rust-lang/rust-analyzer/issues/10548

Disable rustfmt for expand_macro on wasm platforms

Fix macro patterns not getting formatted properly

feat: Attempt to format expand_macro output with rustfmt if possible

update grammer to support associated const equality

Auto merge of #12011 - iDawer:completion_detail.impl_trait, r=Veykril

fix: Show `impl Trait` in argument positon in completion details

Follow up for #11991

`hir`: Use `db.callable_item_signature` query more.

Show `impl Trait` in argument positon in completion details

`hir`: Use `db.callable_item_signature` query more.

Auto merge of #12009 - matklad:debug-reloads, r=matklad

internal: more visibility into why things happen

internal: more visibility into why things happen

Auto merge of #12008 - Veykril:patch-1, r=Veykril

fix: Fix proc-macro change check being inverted

fix: Fix proc-macro change check being inverted

Auto merge of #11991 - iDawer:completion_detail.impl_trait, r=iDawer

fix: completion detail shows `{unknown}` for async functions and for RPITs

Fix: completion detail shows `{unknown}` for `impl Trait` in return position.
Fix #11438 : completion detail shows `{unknown}` for return types in async functions.

#### API changes
Add `hir::Function::async_ret_type` method

minor: address nit

`extract_function`: use appropriate return type for async fns

Add `hir::Function::async_ret_type` method

Adjust completion detail for `async fn` return types

fix: comletion detail shows `{unknown}` for `impl Trait` in return position

Auto merge of #12006 - lnicola:toggle-inlay-hints, r=lnicola

fix: Remove old inlay hints settings

Closes #11998