Auto merge of #12691 - Veykril:proc-macro-diag, r=Veykril

fix: Fix unresolved proc macro diagnostics pointing to macro expansions

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

Auto merge of #12735 - feniljain:fix-completions, r=feniljain

fix(completion): `super::` completion at crate root and module depth aware

- should close #12439
- Suggest super according to the depth in tree

fix(completion): `super::` completion at crate root and module depth
aware

Auto merge of #12755 - Veykril:server-version, r=lnicola

fix: Set server binary version when distributing

fix: Set server binary version when distributing

Auto merge of #12754 - Veykril:vscode-status, r=Veykril

fix: Fix VSCode status bar tooltip not showing the error messages

fix: Fix VSCode status bar tooltip not showing the error messages

Auto merge of #12696 - hi-rustin:rustin-patch-fix, r=Veykril

Add str_ref_to_string fix

close https://github.com/rust-lang/rust-analyzer/issues/11383
When type mismatch is `&str` -> `String` try to fix it.

Auto merge of #12742 - TonalidadeHidrica:fix-obsolete-config-keys, r=Veykril

Fix obsolete config keys

The config keys were drastically reorganized by #12010, but the docs don't reflect the updates, causing inconsistency and confusion.  I checked for such obsolete configuration keys and updated to the new one.  For reproducibility, I attach a small shell script that I used to examine the old keys.  Now the script only detects `cargoExtraArgs` and `overrideCargo`, which originates from other type definition in the code but not from the configuration.

<details><summary>script</summary>

```bash
echo "allowMergingIntoGlobImports
exprFillDefault
importEnforceGranularity
importGranularity
importMergeBehavior
importMergeBehaviour
importGroup
importPrefix
warmup
loadOutDirsFromCheck
runBuildScripts
runBuildScriptsCommand
useRustcWrapperForBuildScripts
enableExperimental
procAttrMacros
breakPoints
exitPoints
yieldPoints
linksInHover
linksInHover
gotoTypeDef
chainingHints
closureReturnTypeHints
hideNamedConstructorHints
parameterHints
reborrowHints
typeHints
lruCapacity
cargoExtraArgs
overrideCargo
rustcSource
enableRangeFormatting
assist\.allowMergingIntoGlobImports
assist\.exprFillDefault
assist\.importEnforceGranularity
assist\.importGranularity
assist\.importMergeBehavior
assist\.importMergeBehaviour
assist\.importGroup
assist\.importPrefix
primeCaches\.enable
cache\.warmup
cargo\.loadOutDirsFromCheck
cargo\.runBuildScripts
cargo\.runBuildScriptsCommand
cargo\.useRustcWrapperForBuildScripts
completion\.snippets
diagnostics\.enableExperimental
experimental\.procAttrMacros
highlighting\.strings
highlightRelated\.breakPoints
highlightRelated\.exitPoints
highlightRelated\.yieldPoints
highlightRelated\.references
hover\.documentation
hover\.linksInHover
hoverActions\.linksInHover
hoverActions\.debug
hoverActions\.enable
hoverActions\.gotoTypeDef
hoverActions\.implementations
hoverActions\.references
hoverActions\.run
inlayHints\.chainingHints
inlayHints\.closureReturnTypeHints
inlayHints\.hideNamedConstructorHints
inlayHints\.parameterHints
inlayHints\.reborrowHints
inlayHints\.typeHints
lruCapacity
runnables\.cargoExtraArgs
runnables\.overrideCargo
rustcSource
rustfmt\.enableRangeFormatting
allFeatures
addCallArgumentSnippets
addCallParenthesis
callInfo\.full
cargo\.allFeatures
checkOnSave\.allFeatures
completion\.addCallArgumentSnippets
completion\.addCallParenthesis" | while read -r pattern
do
  rg '\b'$pattern'\b([^.]|$)' . -g "!crates/rust-analyzer/src/config/patch_old_style.rs" -g "!editors/code/src/config.ts" -g "!a.sh" --no-heading --color=always --line-number
done

exit

excluded
# debug
# enable
# run
# implementations
# references
# documentation
# references
# snippets
# strings
# full
```

</details>

Auto merge of #12747 - jonas-schievink:proc-macro-abi-1.63, r=jonas-schievink

fix: Update 1.63 proc macro ABI to match rustc

This updates us to the ABI used by rustc 1.63.0-beta.5, which will likely be the ABI of the next stable Rust release. It should also work on nightly (for now, but future changes won't be supported until the rustc version is bumped).

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

Update 1.63 proc macro ABI to match rustc

Auto merge of #12745 - jonas-schievink:metavar-exprs, r=jonas-schievink

feat: Implement `ignore`  and `index` metavar expression

Part of https://github.com/rust-lang/rust-analyzer/issues/11952

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

Implement `ignore`  and `index` metavar expression

Auto merge of #12744 - hi-rustin:rustin-patch-typos, r=lnicola

Fix typos

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

Fix typos

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

Fix obsolete `completion.snippets` config

Fix obsolete `enableRangeFormatting` config

Fix `rustcSource` -> `rustc_source`

This only fixes the comments in the internal source,
     which is not mandatory at all

Fix obsolete `diagnostics.experimental.enable`

Fix obsolete `loadOutDirsFromCheck` configs

Fix config keys regarding imports in docs

Auto merge of #12732 - lnicola:bump-npm, r=lnicola

Bump npm deps

Bump transitive npm deps

Bump @vscode/test-electron

Bump @types/node to 16

Bump typescript and tslib

Bump prettier

Bump @typescript-eslint

Bump vsce

Bump eslint

Bump esbuild

Bump d3 and d3-graphviz

Bump vscode-languageclient

Auto merge of #12727 - DorianListens:dscheidt/extract-var-field-name, r=jonas-schievink

fix: Improve suggested names for extracted variables

When extracting a field expression, if RA was unable to resolve the type of the
field, we would previously fall back to using "var_name" as the variable name.

Now, when the `Expr` being extracted matches a `FieldExpr`, we can use the
`NameRef`'s ident token as a fallback option.

fixes #10035

Fix test

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

fix: Improve suggested names for extracted variables

When extracting a field expression, if RA was unable to resolve the type of the
field, we would previously fall back to using "var_name" as the variable name.

Now, when the `Expr` being extracted matches a `FieldExpr`, we can use the
`NameRef`'s ident token as a fallback option.

fixes #10035

Auto merge of #12706 - DorianListens:dscheidt/closure-args, r=DorianListens

fix: Extract Function misses locals used in closures

This change fixes #12705.

In `FunctionBody::analyze`, we need to search any `ClosureExpr`s we encounter
for any `NameRef`s, to ensure they aren't missed.

fix: Extract Function misses locals used in closures

This change fixes #12705.

In `FunctionBody::analyze`, we need to search any `ClosureExpr`s we encounter
for any `NameRef`s, to ensure they aren't missed.

Auto merge of #12719 - davidlattimore:format-args-no-unsafe, r=jonas-schievink

Remove unnecessary unsafe from format_args expansion

Auto merge of #12676 - DorianListens:dscheidt/extract-fun-trait-impl, r=jonas-schievink

fix: Extract function from trait impl

This change fixes #10036, "Extract to function assist implements nonexistent
trait methods".

When we detect that the extraction is coming from within a trait impl, and that
a `self` param will be necessary, we adjust which `SyntaxNode` to `insert_after`,
and create a new empty `impl` block for the newly extracted function.

Auto merge of #12722 - jonas-schievink:update-urls, r=jonas-schievink

internal: Update remaining GitHub URLs

The old links still work, but it seems less confusing to have them point to the right repo

Update remaining GitHub URLs

Auto merge of #12716 - davidlattimore:fix-publish-crate-names, r=lnicola

publish workflow: Fix names for existing crates

Attempting to publish for example ra_ap_text-edit when ra_ap_text_edit
has already been published is rejected by crates.io.

Remove unnecessary unsafe from format_args expansion

publish workflow: Fix names for existing crates

Attempting to publish for example ra_ap_text-edit when ra_ap_text_edit
has already been published is rejected by crates.io.

Auto merge of #12695 - xuhongxu96:fix-12140, r=jonas-schievink

Complete type param/associated type in trait generic arg per arg index

- Fix #12140
- Also fix tidy check does not work for marks in multiline

fix default type param value position

Auto merge of #12704 - jonas-schievink:smol-paths, r=jonas-schievink

internal: Use `SmallVec` to slightly shrink `ModPath` size

Saves like a megabyte on r-a itself.

Use `SmallVec` to slightly shrink `ModPath` size

check arg_idx >= n_params only if arg_idx >= n_required_params

Handle generic args per arg index
Add more test cases for generic args

Auto merge of #12702 - lnicola:vscode-schemes, r=lnicola

internal: use different schemes for the custom views

Related to #12699, but doesn't fix it because we still register the providers multiple times.

Code: use different schemes for the custom views

Show only assoc type args in the correct arg pos

Add str_ref_to_string fix

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

Auto merge of #12694 - hi-rustin:rustin-patch-bors, r=jonas-schievink

Remove useless bors.toml

It seems we do not use bors-ng anymore. So maybe this is useless.

Complete associated type only in trait generic arg
Fix tidy check does not work for marks in multiline

Fix project root assert

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

Remove useless bors.toml

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

fix: Fix unresolved proc macro diagnostics pointing to macro expansions

Auto merge of #12690 - Veykril:inert-attrs, r=Veykril

internal: Update inert attribute list

internal: Update inert attribute list

Auto merge of #12687 - flodiebold:override-docs, r=flodiebold

Improve documentation for `buildScripts.overrideCommand` / `checkOnSave.overrideCommand`

Add back restartServerOnConfigChange option

Improve documentation for buildScripts.overrideCommand / checkOnSave.overrideCommand

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

Bump deps

Bump the rest of the deps

Bump chalk

Bump object

Bump tracing-subscriber

Bump arbitrary and derive_arbitrary

Bump cargo_metadata

Bump semver

Bump indexmap

Bump serde_json

Bump serde

Bump smallvec

Bump pulldown-cmark-to-cmark

Bump either

Bump quote

Bump anyhow

Bump crossbeam-channel

fix: Extract function from trait impl

This change fixes #10036, "Extract to function assist implements nonexistent
trait methods".

When we detect that the extraction is coming from within a trait impl, and that
a `self` param will be necessary, we adjust which `SyntaxNode` to `insert_after`,
and create a new empty `impl` block for the newly extracted function.

Auto merge of #12662 - DorianListens:dscheidt/extract-function-duplicate-name, r=DorianListens

fix: Extract Function produces duplicate fn names

This change fixes #10037, in more or less the most naive fashion
possible.

We continue to start with the hardcoded default of "fun_name", and now append a
counter to the end of it if that name is already in scope.

In the future, we can probably apply more heuristics here to wind up with more
useful names by default, but for now this resolves the immediate problem.

fix: Extract Function produces duplicate fn names

This change fixes issue #10037, in more or less the most naive fashion
possible.

We continue to start with the hardcoded default of "fun_name", and now append a
counter to the end of it if that name is already in scope.

In the future, we can probably apply more heuristics here to wind up with more
useful names by default, but for now this resolves the immediate problem.

Auto merge of #12680 - lowr:fix/12428-regression, r=Veykril

fix regressions on assignment expressions

This is a follow-up PR on #12428. I'm not sure if this is everything I overlooked, so if there are more things that are not right, we may want to revert #12428.

This should also fix the increase of the type mismatches and the unknown types in diesel in the [metrics](https://rust-analyzer.github.io/metrics/?start=2022-06-23&end=2022-07-01) introduced by #12428.

The regressions are:

- some coercions don't work in the ordinary (i.e. non-destructuring) assignments

    In order for coercions on ADT fields instantiations to work, lhs type has to be known before inferring rhs. #12428 changed the inference order, making rhs inferred before lhs, breaking the coercion, so I restored the original inference mechanism for the ordinary assignments.

    Note that this kind of coercion doesn't happen in destructuring assigments, because when they are desugared, the struct expression is first assigned to a temporary, which is then assigned to the assignee, which is not coercion site anymore.

- type mismatches on individual identifiers are not reported

fix: report type mismatch on identifier in destructuring assignments

fix: infer lhs first on ordinary assignment expressions

Auto merge of #12627 - yue4u:fix/struct-variant-patterns, r=Veykril

fix: complete enum variants as patterns in pattern path

close #12593

Auto merge of #12679 - a-kenji:fix-typos-hir, r=lnicola

fix: typos in hir-ty

fix: typos in hir-ty

Auto merge of #12678 - Veykril:flyimport, r=Veykril

fix: Trigger flyimport completions in item lists again

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

fix: Trigger flyimport completions in item lists again

fix: escape for enum variant

fix: variants rendering in pattern path

Auto merge of #12671 - flodiebold:test-for-12669, r=flodiebold

Add tests for #12669

Fix case of ignored/broken proc macro

Add tests for #12669

Auto merge of #12636 - xuhongxu96:fix-12148, r=Veykril

complete raw identifier with "r#" prefix

Fix #12148

Escape Names and Paths used in `insert_text`/`insert_snippet` while rendering the completion items.

Auto merge of #12668 - Veykril:mac-source-map, r=Veykril

fix: Simplify macro statement expansion handling

I only meant to fix https://github.com/rust-lang/rust-analyzer/issues/12644 but that somehow turned into a rewrite of the statement handling ... at least this fixes a few more issues in the IDE layer now