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

Remove old inlay hints settings

Auto merge of #12005 - Veykril:hir-ty-simplify, r=Veykril

internal: Remove frequent `Arc<Body>` clones in type checking

bors r+

minor: Remove frequent `Arc<Body>` clones in type checking

Simplify

Auto merge of #12003 - Veykril:hir-ty-simplify, r=Veykril

internal: Remove duplicated crate id field from hir::Type

Slightly optimize `Resolver::krate`

Auto merge of #11997 - lnicola:es-target, r=lnicola

minor: Bump target JS version

Remove duplicated crate id field from hir::Type

Auto merge of #12002 - Veykril:proc-macro-change-panic, r=Veykril

fix: Fix source root panic in global state when checking out older git revs

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

fix: Fix source root panic in global state when checking out older git revs

Auto merge of #12001 - Veykril:refs, r=Veykril

fix: Do reference search on all downmapped tokens with the same kind only

cc https://github.com/rust-lang/rust-analyzer/issues/11668

fix: Do reference search on all downmapped tokens with the same kind only

Auto merge of #12000 - Veykril:hlmac, r=Veykril

fix: Tag `macro_rules` macro bang with `MacroBang` tag

cc https://github.com/rust-lang/rust-analyzer/issues/11996

fix: Tag `macro_rules` macro bang with `MacroBang` tag

Auto merge of #11999 - Veykril:config-valid, r=Veykril

Update feature listing in extension README

Update feature listing in extension README

Bump target JS version

Auto merge of #11993 - jonas-schievink:adt-completions-in-block, r=jonas-schievink

fix: enable ADT keyword completions in block expressions

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

Enable ADT keyword completions in block expression

Auto merge of #11992 - jonas-schievink:unresolved-primitive-module-fallback, r=jonas-schievink

fix: resolve `uN::method` even when `use std::uN;` is present

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

Fallback to primitive when path doesn't resolve

Auto merge of #11971 - jonas-schievink:on-type-fmt-assignments, r=jonas-schievink

feat: Add trailing `;` when typing `=` in assignment


This does have a false positive to keep in mind, it will add a trailing `;` in the following snippet too, which is probably not desired:

```rust
fn is_zero(i: i32) -> bool {
    i $0 0
}
```

However, that function is unlikely to be written from the "inside out" like that, so it might be acceptable. Typically `=` is only inserted last when the author realizes that an existing expression should be assigned to some variable.

Auto merge of #11990 - jonas-schievink:improve-itemtree-prettyprint, r=jonas-schievink

internal: Improve ItemTree pretty print output

Expand `FnFlags` into what they actually mean and omit `AttrId`s, since those are sequential numbers in the item tree

Improve ItemTree pretty print output

add docs

Auto merge of #11988 - jonas-schievink:expand-glob, r=jonas-schievink

minor: reenable simplify glob import test

reenable test

simplify

Auto merge of #11985 - Veykril:config-valid, r=Veykril

minor: Simplify config.rs a bit

minor: Cleanup config.rs a bit

Auto merge of #11960 - Veykril:config-valid, r=Veykril

internal: Show more project building errors to the user

Should help out with https://github.com/rust-analyzer/rust-analyzer/issues/9720
Fixes https://github.com/rust-analyzer/rust-analyzer/issues/11223

internal: Show more project building errors to the user

Auto merge of #11980 - atouchet:repo, r=Veykril

Update repo URL

Auto merge of #11979 - Veykril:ci, r=lnicola

minor: Don't run CI on master branch

Update repo URL

Auto merge of #11956 - fee1-dead:master, r=flodiebold

feat: allow customizing the command for running build scripts

I have tested this locally and it fixed #9201 with some small changes on the compiler side with suggestions from https://github.com/rust-analyzer/rust-analyzer/issues/9201#issuecomment-1019554086.

I have also added an environment variable `IS_RA_BUILDSCRIPT_CHECK` for crates to detect that it is a check for buildscripts, and allows defaulting to bogus values for expected environment variables.