Merge #11455

11455: Handle proc-macro functions as the proc-macro they resolve to r=Veykril a=Veykril

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

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

Move fn to proc-macro conversion to name classification

Merge #11481

11481: Display parameter names when hovering over a function pointer r=Veykril a=Vannevelj

Implements #11474

The idea is pretty straightforward: previously we constructed the hover based on just the parameter types, now we pass in the parameter names as well. I went for a quick-hit approach here but I expect someone will be able to point me to a better way of resolving the identifier.

I haven't figured out yet how to actually run my rust-analyzer locally so I can see it in action but the unit test indicates it should work.

Co-authored-by: Jeroen Vannevel <jer_vannevel@outlook.com>

Merge #11517

11517: fix: Fix qualfiied record literal completion triggering too eagerly r=Veykril a=Veykril

Supercedes https://github.com/rust-analyzer/rust-analyzer/pull/10909
Fixes https://github.com/rust-analyzer/rust-analyzer/issues/10889
bors r+

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

fix: Fix qualfiied record literal completion triggering too eagerly

Merge #11516

11516: fix: Don't count commas when looking for the derive attribute in diagnostics r=Veykril a=Veykril

bors r+

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

fix: Don't count commas when looking for the derive attribute in diagnostics

parameters.split_last()

Merge #11142

11142: Updated the Sublime Text section r=Veykril a=AmjadHD

rust-analyzer/rust-analyzer.github.io#160

Co-authored-by: Amjad Ben Hedhili <amjadhedhili@outlook.com>

Merge #11424

11424: Pass required features to cargo when using run action r=Veykril a=WaffleLapkin

When using `F1`->`Rust Analyzer: Run` action on an `example`, pass its `required-features` to `cargo run`. This allows to run examples that were otherwise impossible to run with RA.

Co-authored-by: Maybe Waffle <waffle.lapkin@gmail.com>

Merge #11375

11375: feat: Support if- and while- let chains r=Veykril a=ChayimFriedman2

Closes #11320.

Co-authored-by: Chayim Refael Friedman <chayimfr@gmail.com>

Merge #11514

11514: chore(manual): update coc-rust-analyzer manual r=Veykril a=fannheyward

Semantic tokens highlighting is added in coc.nvim now.

Co-authored-by: Heyward Fann <fannheyward@users.noreply.github.com>

Change `single_let()` and `is_pattern_cond()` to free functions

Upgrade ungrammar to 1.15.0

Validate `let` expressions

Emit an error if they're found in an invalid position.

Update tests

Unfortunately, we lost some recovery for expressions.

Fix various IDE features

As a side benefit, we got `let` guard support for `move_guard` for free.

Type-inference for `let` expressions

Lower `let` expressions

Parse `let` expressions in order to support `let` chains

We still need to reject freestanding `let` expressions: see https://github.com/rust-analyzer/rust-analyzer/issues/11320#issuecomment-1018212465.

chore(manual): update coc-rust-analyzer manual

Semantic tokens highlighting is added now

Merge #11512

11512: internal: Remove `name` fields from `MacroCallKind` r=Veykril a=Veykril

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

internal: Remove name fields from MacroCallKind

Merge #11511

11511: internal: Wrap MacroCallKind::Attr attr_args field in an Arc r=Veykril a=Veykril

This is stored in `MacroCallLoc` which is returned from a query, so cloning should be made cheap.
bors r+

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

internal: Wrap MacroCallKind::Attr attr_args field in an Arc

Merge #11504

11504: Fix a typo in server_capabilities.experimental r=lnicola a=nemethf

Commit 27c4be6b4f68 wasn't really complex, but I still managed to make a mistake there, which this PR fixes.  Sorry.

Co-authored-by: Felicián Németh <felician.nemeth@gmail.com>

Fix a typo in server_capabilities.experimental

Merge #11498

11498: minor: Update issue template r=lnicola a=lnicola

 - remove fixed #11098
 - ask about settings and environment variables

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

Update issue template

re-added FIXME

Merge #11484

11484: Infer the array size for slice patterns r=flodiebold a=ChayimFriedman2

Fixes #11478 (feat or fix?),

I don't know much about the type-checking in RA, so maybe I did some obvious mistake.

Co-authored-by: Chayim Refael Friedman <chayimfr@gmail.com>

Infer the array size for slice patterns

removed double map

simplified write

test names

add test for function pointer without identifier

use Name instead of String

removed unwrap

cleaning

fmt

cleanup

rough, but appears to work

Merge #11475

11475: Impr mbe: remove unecessary temporary vec r=bellau a=bellau

It's a micro optimization. I don't know if it's really necessary (less alloc is always better).

Co-authored-by: bellau <laurent.belmonte@gmail.com>

Merge #11480

11480: fix: keyword hover works on non-keyword tokens if expanded to keyword r=Veykril a=Veykril

bors r+

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

Impr mbe: remove unecessary temporary vec

fix: keyword hover works on non-keyword tokens if expanded to keyword

Merge #11477

11477: fix: Fix cases where `Merge Imports` would drop imports. r=DropDemBits a=DropDemBits

Fixes #11466

Co-authored-by: DropDemBits <r3usrlnd@gmail.com>

Apply review fixes

fix: Don't drop glob with nested self

fix: Don't drop tree when the other has `self`

Merge #11369

11369: feat: Add type hint for keyword expression hovers r=Veykril a=danii

Adds the return type of keywords to tool-tips where it makes sense. This applies to: `if`, `else`, `match`, `loop`, `unsafe` and `await`. Thanks to `@Veykril` for sharing the idea of putting return type highlighting on other keywords!

Closes #11359

Co-authored-by: Daniel Conley <himself@danii.dev>

Hide Keyword Expression Hover For Units `()`

Cleaned up the code for keyword expression hovers.

Added a check to hide units `()` in keyword expression hovers.

Merge #11458

11458: Fix  Immovable generator syntax (static ||) not recognized #11448 r=Veykril a=bellau

Co-authored-by: bellau <laurent.belmonte@gmail.com>

Merge #11470

11470: correct the description of Struct GlobalState r=lnicola a=doki23

Fixes #11469

The description of GlobalState should be 'more than one impl'

Co-authored-by: doki <11144133+doki23@users.noreply.github.com>

correct the description of Struct GlobalState

Fix style

Merge #11464

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

bors r+

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

Bump deps

Merge #11442 #11460

11442: fix(rename): Use text range of a mod name after macro expansion r=Veykril a=tysg

Fixes #11417.

11460: fix: documentation of SsrParams r=Veykril a=nemethf

Fix #11429 by extending the documentation of SsrParms with the
mandatory field 'selections'.  Copy its description from lsp_ext.rs.

Co-authored-by: Tianyi Song <42670338+tysg@users.noreply.github.com>
Co-authored-by: Felicián Németh <felician.nemeth@gmail.com>

Merge #11459

11459: fix: add missing experimental capabilities r=Veykril a=nemethf

Fix #11389 by extending server_capabilities.experimental with
matchingBrace, externalDocs, moveItems.  Also, sort entries
alphabetically.

Co-authored-by: Felicián Németh <felician.nemeth@gmail.com>

Address PR comments

oops, remove println

fix handle static async and static async move

Fix style

support static move too

fix: documentation of SsrParams

Fix #11429 by extending the documentation of SsrParms with the
mandatory field 'selections'.  Copy its description from lsp_ext.rs.

fix: add missing experimental capabilities

Fix #11389 by extending server_capabilities.experimental with
matchingBrace, externalDocs, moveItems.  Also, sort entries
alphabetically.

Fix styles

Fix  Immovable generator syntax (static ||) not recognized #11448

Merge #11444

11444: feat: Fix up syntax errors in attribute macro inputs to make completion work more often r=flodiebold a=flodiebold

This implements the "fix up syntax nodes" workaround mentioned in #11014. It isn't much more than a proof of concept; I have only implemented a few cases, but it already helps quite a bit.

Some notes:
 - I'm not super happy about how much the fixup procedure needs to interact with the syntax node -> token tree conversion code (e.g. needing to share the token map). This could maybe be simplified with some refactoring of that code.
 - It would maybe be nice to have the fixup procedure reuse or share information with the parser, though I'm not really sure how much that would actually help.

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

Merge #11453

11453: internal: Make `ascend_call_token` iterative instead of recursive r=Veykril a=Veykril

bors r+

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

internal: Make `ascend_call_token` iterative instead of recursive

Handle proc-macro functions as the proc-macro they resolve to

Use text range of name after macro expansion

Format again

Reduce visibility

Add back an assertion

Various fixes

Rename syntax_node_to_token_tree_censored

Replace expressions with errors in them

Merge #11441

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

bors r+

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

Bump lsp-types

Revert "Revert "Bump dashmap""

This reverts commit 39674cd35054f4905691bb0c3d1eca7b97063aa7.

Bump deps

Merge #11437

11437: [ide_completion] render if a function is async/const/unsafe in completion details r=Veykril a=jhgg

this change renders in the autocomplete detail, whether a function is async/const/unsafe.

i found myself wanting to know this information at a glance, so now it renders here:


Co-authored-by: Jake Heinz <jh@discordapp.com>

Merge #11436

11436: fix: renaming modules does not change references by super r=Veykril a=TheDoctor314

Fixes #11289.

Co-authored-by: TheDoctor314 <64731940+TheDoctor314@users.noreply.github.com>

[ide_completion] render if a function is async/const/unsafe in completion details

Fix test

Track synthetic tokens, to be able to remove them again later

Fix renaming super keyword

Add test

The rename function should not change any path segments that refer to a
module by super.

Actually check in fixup.rs

Reverse fixups

Simplify

Add a check

Simplify a bit

WIP: Actually fix up syntax errors in attribute macro input

Add test for giving attribute proc macros valid syntax

Merge #11427

11427: add missing snake case attribute, update hash r=lnicola a=HansAuger

Fix for #11414

Co-authored-by: Moritz Vetter <mv@3yourmind.com>

add missing snake case attribute, update hash