Support `if let` match guards

Merge #9874

9874: fix: Always add implicit `proc_macro` dependency r=jonas-schievink a=jonas-schievink

Even crates that don't set `proc-macro = true` are allowed to depend on `proc_macro` (just none of the APIs work when called outside of a proc macro).

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

bors r+

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

Always add implicit `proc_macro` dependency

Merge #9807

9807: Implicit `Sized` bounds r=iDawer a=iDawer

This should close #8984

`hir_ty`:
- Type parameters, associated types and `impl Trait` are `Sized` by deafault except `Self` in a trait.
- Implicit `Sized` bound is added to end of predicate list. It does not check if such bound is present already. Also it does not track the bound is implicit.
- Allowed ambiguous unsize coercion if Chalk returns definite guidance.
- Allowed ambiguous autoderef if Chalk returns definite guidance.

`hir_def`:
- `ItemTree` pretty printing shows `?Sized` bounds.

`HirDisplay`:
- `impl Trait` with weird bounds rendered correctly.
- `Sized`/`?Sized` bounds are not shown if they are default.

### Perf
`./target/rust-analyzer-baseline_8a843113 -q analysis-stats --memory-usage .`
```
Database loaded:     1.63s, 287minstr, 91mb
  crates: 38, mods: 741, decls: 15914, fns: 11835
Item Collection:     26.80s, 73ginstr, 338mb
  exprs: 318994, ??ty: 398 (0%), ?ty: 435 (0%), !ty: 174
Inference:           50.28s, 116ginstr, 516mb
Total:               77.08s, 189ginstr, 855mb
```

`./target/rust-analyzer-sized-fixed_ambig_coercion-de074fe6 -q analysis-stats --memory-usage .`
```
Database loaded:     1.63s, 287minstr, 91mb
  crates: 38, mods: 741, decls: 15914, fns: 11835
Item Collection:     26.95s, 73ginstr, 338mb
  exprs: 318994, ??ty: 398 (0%), ?ty: 435 (0%), !ty: 166
Inference:           96.39s, 234ginstr, 543mb
Total:               123.33s, 307ginstr, 881mb
```

Co-authored-by: Dawer <7803845+iDawer@users.noreply.github.com>

Clean up

Merge #9869

9869: Use term "method" on label for generating method impl r=Veykril a=rylev

When showing the user the `generate_function` assist, use the term "method" when generating a method instead of the term "function" (which is correct but maybe not the most appropriate in that context).

Co-authored-by: Ryan Levick <me@ryanlevick.com>

Use term  on label for generating method impl

Merge #9863

9863: feat: Generate default trait fn impl when generating `PartialEq` r=yoshuawuyts a=yoshuawuyts

Implements a default trait function body when generating the `PartialEq` trait for a type. Thanks!

r? `@veykril`

Co-authored-by: Yoshua Wuyts <yoshuawuyts@gmail.com>

add `make::ext::path_from_idents`

implement feedback from review

rm remaining todo comment

improve codegen

finishing touches

gen partialeq for tuple enums

dedup PartialEq for Record enums

Accept ambiguous unsize coercion only if it has definite guidance.

Merge #9862

9862: internal: Fill out expected type for functional update syntax completion r=Veykril a=Veykril

Last part of https://github.com/rust-analyzer/rust-analyzer/issues/9839
bors r+

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

Fill out expected type for functional update syntax completion

Merge #9861

9861: fix: `extract_variable` handles selection ranges better r=Veykril a=Veykril

bors r+

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

extract_variable handles selection ranges better

gen PartialEq for Record enums

Co-Authored-By: Ryan Levick <rylev@users.noreply.github.com>

Merge #9860

9860: fix: Fix extract_function tagging params as mut unnecessarily r=Veykril a=Veykril

Fixes #9822
bors r+

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

Fix extract_function tagging params as mut unnecessarily

Merge #9856

9856: Show type actions on ranged type hover r=Veykril a=Veykril

bors r+

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

Show type actions on ranged type hover

Merge #9854

9854: internal: document that ascription is preferred to a turbo fish r=matklad a=matklad

bors r+
🤖

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

internal: document that ascription is preferred to a turbo fish

Merge #9836

9836: Refactor: quick clean-up of iteration idioms in the `vfs` crate r=matklad a=Some-Dood

This PR cleans up some of the iteration idioms used in the `vfs` crate. Most of the changes simply converted `for` loops into their `std::iter::Iterator`-method counterpart. Other changes required some inversion of logic to accommodate for better short-circuiting. Overall, there should be no behavioral changes. If there are any stylistic issues, I will gladly adhere to them and adjust the PR accordingly. Thanks!

Co-authored-by: Basti Ortiz <39114273+Some-Dood@users.noreply.github.com>

Merge #9828

9828: Remove dependency on the system graphviz when rendering crate graph r=lnicola a=p32blo

This PR removes the need for having `graphviz` installed on the user system by using the `d3-graphviz` npm package.

The responsibility of rendering the svg output is moved to the extension while the rust side only handles the generation of the dot file.

This change also brings the following additional features:
- Allow zooming the view
- Ctrl+click to reset the zoom
- Adjust the color scheme to dark themes
- Works on any platform without installing graphviz locally

---

I’m not sure if this fits what you had in mind for the crates graph feature but I decided to submit it anyway to see if this is useful to anyone else.

A potential downside might be that it increases the extension size ( haven’t checked) but this feature already required the installation of graphviz on the user side, so the cost is just moved explicitly to the extension.

Feel free to make any suggestion or comments.

Co-authored-by: André Oliveira <p32blo@gmail.com>

wip enum record/tuple generation

gen PartialEq for basic enums

gen PartialEq for structs

add partial_eq gen tests

add make::expr_op

Merge #9849

9849: internal: Refine functional update completion some more r=Veykril a=Veykril

cc https://github.com/rust-analyzer/rust-analyzer/issues/9839
bors r+

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

Refine functional update completion some more

Fix: revert strange usage of `?` operator

Fix: prefer the usage of `for` loops over `fold`

Chore: add comments to explicitly express two-step check

See https://github.com/rust-analyzer/rust-analyzer/pull/9836#discussion_r685953381

Fix: revert complex conditional in `Directories::contains_file`

This reverts commit 6d0336b2e41703254b31f5d9a1358eb7e15cee3f.

Update 'package-lock.json'

Embed the scripts in the html template

Remove unecessary joinPaths

Include the needed node_modules files in the final extension bundle

Formatting issues

replace let by const

Remove debug logs

Reduce path handling code

Add more features to the rendering

- Allow the zoom to go further than 10x
- Adapt css to dark and high constrast themess
- Use 'javascript/worker' for the wasm graphviz
- Add Ctrl + LeftMouseClick to reset zoom

Use local node_modules to allow the graph to load offline

- Fix some warnings

Use d3-graphviz for rendering crates graph on the extension side

Merge #9846

9846: feat: Generate default trait fn impl when generating `Clone` r=Veykril a=yoshuawuyts

Implements a default trait function body when generating the `Clone` trait for a type. Thanks!

r? `@\veykril`

Co-authored-by: Yoshua Wuyts <yoshuawuyts@gmail.com>

Merge #9845

9845: fix: Do not drop `..Default::default()` completion when typing `..` r=Veykril a=Veykril

cc https://github.com/rust-analyzer/rust-analyzer/issues/9839
bors r+

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

Do not drop `..Default::default()` completion when typing `..`

gen clone for tuple enums

gen clone for record enums

Merge #9842

9842: fix: Substitute generic types in inline_call r=Veykril a=Veykril

bors r+

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

Substitute generic types in inline_call

Merge #9841

9841: internal: print total size of source code in analysis-stats r=matklad a=matklad

bors r+
🤖

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

Update crates/rust-analyzer/src/cli/analysis_stats.rs

Co-authored-by: Laurențiu Nicola <lnicola@users.noreply.github.com>

internal: print total size of source code in analysis-stats

Merge #9840

9840: minor: reword a bit r=matklad a=matklad

bors r+
🤖

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

minor: reword a bit

add clone generation for structs and bare enums

Merge #9838

9838: internal: document codebase stance on using functional combinators r=matklad a=matklad

bors r+
🤖

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

internal: document codebase stance on using functional combinators

Merge #9837

9837: feat: Implement `bool_then_to_if` assist r=Veykril a=Veykril

Other half of https://github.com/rust-analyzer/rust-analyzer/issues/8413

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

Add clone generation tests

Implement `bool_then_to_if` assist

Merge #9835

9835: feat: Generate default trait fn impl when generating `Hash`. r=Veykril a=yoshuawuyts

Implements a default trait function body when generating the `Hash` trait for a type. Thanks!

r? `@Veykril`

Co-authored-by: Yoshua Wuyts <yoshuawuyts@gmail.com>

impl gen hash for structs

impl gen hash for enums

Merge #9830

9830: Enable more assists to generate default trait body impls r=Veykril a=yoshuawuyts

Enable more assists to benefit from trait body generation. Follow-up to #9825 and #9814.

__edit:__ I'd like to move the existing tests to this new file too, but I'll do that in a follow-up PR.

Co-authored-by: Yoshua Wuyts <yoshuawuyts@gmail.com>

implement feedback from review

Refactor: use iterator methods over `for` loops

Merge #9834

9834: internal: unify subcommand handling between ra and xtask r=matklad a=matklad

bors r+
🤖

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

internal: unify subcommand handling between ra and xtask

internal: prepare to use standard .run pattern for subcommands

Merge #9832

9832: vscode extension: use esbuild instead of rollup. r=matklad a=yaymukund

This shaves a couple seconds off our build & trims npm dependencies. I tested it using VSCode's "Install [Extension] from VSIX" option and it seems to work. Note that it changes the root of the package from `out/src/main → out/main`.

Fell out of the discussion in #9179

Co-authored-by: Mukund Lakshman <yaymukund@gmail.com>

vscode extension: use esbuild instead of rollup.

Merge #9833

9833: [semantic-highlighting] functions that consume  are marked as HlMod::Consuming r=matklad a=jhgg

Does as the PR title says, functions that *consume* self, are marked as *consuming*.

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

Refactor: simplify logic for `Directories::contains_file`

The logic was simply inverted to accomodate for the short-circuiting `&&` operator.

Add trait codegen to `add_missing_impl_members` assist

Refactor: use `filter_map` when iterating over stored IDs and

Chore: use short-circuiting for file ID getter

[semantic-highlighting] functions that consume  are marked as HlMod::Consuming

move trait body gen code to utils

Merge #9804

9804: Generate method from call r=matklad a=mahdi-frms

Needs a bit of refactoring. Tests also should be added.

Co-authored-by: mahdi-frms <mahdif1380@outlook.com>

Merge #9825

9825: Generate default impl when converting #[derive(Default)] to manual impl r=Veykril a=yoshuawuyts

Similar to https://github.com/rust-analyzer/rust-analyzer/pull/9814, but for `#[derive(Default)]`. Thanks!

## Follow-up steps
I've added the tests inside `handlers/replace_derive_with_manual_impl.rs` again, but I'm planning a follow-up PR to extract these to `utils/` so we can share them between assists - and maybe even add another assist just for the purpose of testing these impls (e.g. `generate_default_trait_body`).

The step after _that_ is likely to fill out the remaining traits, so we can make it so whenever RA auto-completes a trait which also can be derived, we provide a default function body.

Co-authored-by: Yoshua Wuyts <yoshuawuyts@gmail.com>

refactor method generation assist

method gen assist usable in all of expression

add test for method generation assist

One assist for function and method generation

method generation assist: store owned ast nodes

generate method adds pub keyword

generate method assist uses existing impl blocks

refactor: use single next space

refactor: use single fn_args

generate method assist

move code around