Merge #7778

7778: Fix lowering trailing self paths in UseTrees r=Veykril a=Veykril

Noticed that hovering over `self` in a use tree like `use foo::bar::{self}` showing documentation and such for the current module instead of `bar`.

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

Merge #7826

7826: Introduce Ty::Alias r=Veykril a=Veykril

bors r+

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

Introduce Ty::Alias

Merge #7823

7823: Being Ty::InferenceVar closer to chalk equivalent r=flodiebold a=Veykril

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

Assert index relationship between type_variable_table and var_unification_table

Being Ty::InferenceVar closes to chalk equivalent

Merge #7822

7822: Paperover a bug in cargo-workspace for publish RA r=lnicola a=edwin0cheng

r? @lnicola

See also https://github.com/pksunkara/cargo-workspaces/issues/39

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Paperover a bug in cargo-workspace for publish RA

Merge #7819 #7820

7819: Speedup heavy tests r=matklad a=matklad

bors r+
🤖

7820: Update vscode README with a small features list r=matklad a=Veykril

Nothing grande but I figured this is a bit better than showing almost nothing

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

Update vscode README with a small features list

Speedup heavy tests

We used to skip sysroot, but this logic got bitrotted, reinstalling.

Merge #7818

7818: Clean up warnings r=matklad a=bugadani

Co-authored-by: Dániel Buga <bugadani@gmail.com>

Clean up unused field warning

Remove redundant semicolon

Merge #7816

7816: Lift Ty::Fn into a struct r=Veykril a=Veykril

bors r+

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

Lift FnPointer into a struct

Fix lowering trailing self paths in UseTrees

Merge #7815

7815: hir_ty: use default type generic for box expressions r=cynecx a=cynecx

r? @flodiebold

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/6837 according to https://github.com/rust-analyzer/rust-analyzer/issues/6837#issuecomment-787456488.

Co-authored-by: cynecx <me@cynecx.net>

hir_ty: use default type generic for box expressions

Merge #7814

7814: Turn Ty::Tuple variant into a tuple-variant r=Veykril a=Veykril

bors r+

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

Remove Substs from Ty::ForeignType

Turn Ty::Tuple variant into a tuple-variant

Merge #7813

7813: Inline TypeCtor into Ty r=flodiebold a=Veykril

This removes the `ApplicationTy` variant from `Ty` bringing the representation a lot closer to chalk's `TyKind`.

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

Fix code_model::Type::walk not walking all types

Merge #7812

7812: Use consistent naming for assist r=matklad a=matklad

bors r+
🤖

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

Use consistent naming for assist

Inline TypeCtor into Ty

Don't spam loop-rewriting assist

The more focused the assist, the better!

Merge #7809

7809: Delete old issues from GitHub's bug report template r=lnicola a=saruman9

Co-authored-by: saruman9 <rum.274.4@gmail.com>

Delete old issues from GitHub's bug report template

Merge #7804

7804: Introduce TypeCtor::Scalar r=lnicola a=Veykril

`TypeCtor::Int(..) | TypeCtor::Float(..) | TypeCtor::Char | TypeCtor::Bool` => `TypeCtor::Scalar(..)`, in this case we can actually just straight up use `chalk_ir::Scalar` already since its just a POD without any IDs or anything.

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

Merge #7808

7808: Fix assert split exprs on comma r=edwin0cheng a=edwin0cheng

bors r+

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Fix assert split exprs on comma

Merge #7807

7807: Directly link changelog from quick-links section in 'README.md' file r=matklad a=regexident

Co-authored-by: Vincent Esche <regexident@gmail.com>

Directly link changelog from quick-links section in 'README.md' file

Merge #7806

7806: Fixed remaining references to `AnalysisChange` (now: `Change`) r=matklad a=regexident

(The type was renamed/moved in 8716c4cec3a05ba891b20b5f28df69d925b913ad)

Co-authored-by: Vincent Esche <regexident@gmail.com>

Fixed remaining references to `AnalysisChange` (now: `Change`)

(The type was renamed/moved in 8716c4cec3a05ba891b20b5f28df69d925b913ad)

Merge #7805

7805: For unresolved macros, hightlight only the last segment r=matklad a=matklad

bors r+
🤖

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

For unresolved macros, hightlight only the last segment

Use chalk_ir::Scalar directly

Merge #7803

7803: Fix non-latin characters doc comment in mbe expansion r=edwin0cheng a=edwin0cheng

Fixes #7781


Off-topic: This is a [beautiful poem](http://chinesepoetryinenglishverse.blogspot.com/2013/12/blog-post_4784.html) from by Li Shangyin.

bors r+

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Fix non-latin characters doc comment for mbe

Merge #7802

7802: Fix builtin macros split exprs on comma r=edwin0cheng a=edwin0cheng

Fixes #7640

bors r+

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Fix builtin macros split exprs on comma

Merge #7801

7801: Restrict visibilities to the containing DefMap r=jonas-schievink a=jonas-schievink

Visibilities must always point into the DefMap where they are used, but in a block expression `self` resolves to the *containing* non-block module, which is in a different DefMap. Restrict visibilities accordingly, turning them into basically `pub(block)`, which Rust has no syntax for.

bors r+

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

Restrict visibilities to the containing DefMap

Introduce TypeCtor::Scalar

Merge #7797

7797: Format generated lints and features manually r=matklad a=lnicola

As `quote` and `rustfmt` leave them on a single line, which makes running `grep` in the repository quite annoying.

Also removes a dead `gen_features.rs` file (`gen_lint_completions.rs` does the same thing).

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

Merge #7566

7566: Add benchmark tests for mbe r=matklad a=edwin0cheng

This PR add more real world tests dumped from `rust-analyzer analysis-stats .` to benchmark its performance.

cc #7513

r? @matklad

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Merge #7677

7677: More enum matching r=yoshuawuyts a=jDomantas

* Renamed existing `generate_enum_match_method` to `generate_enum_is_variant`
* Added two similar assists to generate `into_` and `as_` methods.
* Made all of them general enough to work on record and tuple variants too.

For `as_` method generation there's room to improve:
* Right now it always returns `Option<&Field>`, even though `Option<Field>` would be nicer when `Field: Copy`. I don't know how to check if the field type implements `Copy`. If given suggestions I could try to fix this in a follow-up pr.
* `&String` could be replaced with `&str`, `&Box<_>` with `&_`, and probably some more. I don't know what would be a good way to do that.

Closes #7604

Co-authored-by: Domantas Jadenkus <djadenkus@gmail.com>

Remove dead gen_features code

Format generated features manually instead of relying on  rustfmt

generate try_into instead of into

rename generate_enum_match_method file to match assist name

move into_ and as_ generation to a separate file

cargo fmt

add generate_enum_as_method assist

deduplicate some

add generate_enum_into_method assist

make generate_enum_is_method work on any variants

rename existing assist to generate_enum_is_method

Merge #7794

7794: Disable "Flip comma" assist inside a macro call r=Veykril a=greenhat

Fix #7693

Disables "Flip comma" assist if called inside a macro call.

Co-authored-by: Denys Zadorozhnyi <denys@zadorozhnyi.com>

Disable "Flip comma" assist inside a macro call

Merge #7792

7792: docs(ide_assists): Change remaining occurrences of importMergeBehaviour to importMergeBehavior r=lnicola a=SanchithHegde

Co-authored-by: Sanchith Hegde <sanchith.hegde01@gmail.com>

docs(ide_assists): Change importMergeBehaviour to importMergeBehavior

Merge #7786

7786: bump crates r=kjeremy a=kjeremy

Co-authored-by: kjeremy <kjeremy@gmail.com>

bump crates

Merge #7785

7785: :arrow_up: crates r=matklad a=matklad

bors r+
🤖

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

:arrow_up: crates

Add benchmark test for mbe

Merge #7741

7741: Add convert_for_to_iter_for_each assist r=mattyhall a=mattyhall

Implements one direction of #7681

I wonder if this tries to guess too much at the right thing here. A common pattern is:

```rust
let col = vec![1, 2, 3];
for v in &mut col {
  *v *= 2;
}
// equivalent to:
col.iter_mut().for_each(|v| *v *= 2);
```

I've tried to detect this case by checking if the expression after the `in` is a (mutable) reference and if not inserting iter()/iter_mut(). This is just a convention used in the stdlib however, so could sometimes be wrong. I'd be happy to make an improvement for this, but not sure what would be best. A few options spring to mind:
1. Only allow this for types that are known to have iter/iter_mut (ie stdlib types)
2. Try to check if iter/iter_mut exists and they return the right iterator type
3. Don't try to do this and just add `.into_iter()` to whatever is after `in`

Co-authored-by: Matt Hall <matthew@quickbeam.me.uk>

Address further review comments

* Use known names for iter/iter_mut method (simplifies checking if the
  method exists
* Extract code to check assist with fixtures to function

Merge #7719

7719: De Morgan's Law assist now correctly parenthesizes binary expressions. r=Veykril a=lbrande

Closes #7694 by parenthesizing binary expressions that are negated.

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

Merge #7775

7775: Fix typo. r=Veykril a=boxdot

Co-authored-by: boxdot <d@zerovolt.org>

Add tests for apply_demorgan

De Morgan's Law assist now correctly inverts <, <=, >, >=.

De Morgan's Law assist now correctly parenthesizes binary expressions.

Fix typo.

Merge #7772

7772: Pickup ConstReference patterns in FindUsages r=Veykril a=Veykril

bors r+

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

Pickup ConstReference patterns in FindUsages

Address review comments

* Move code to build replacement into closure
* Look for iter/iter_mut methods on types behind reference

Add convert_for_to_iter_for_each assist

Merge #7770

7770: reliable memory usage during benchmarking r=matklad a=matklad

bors r+
🤖

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

reliable memory usage during benchmarking

Merge #7769

7769: Update mio r=kjeremy a=kjeremy

Co-authored-by: kjeremy <kjeremy@gmail.com>

Update mio

Merge #7768

7768: Fix visibility computation when inside a block expression r=jonas-schievink a=jonas-schievink

fixes https://github.com/rust-analyzer/rust-analyzer/issues/7728

bors r+

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

Merge #7766

7766: Update our vscode npm packages r=kjeremy a=kjeremy

Co-authored-by: kjeremy <kjeremy@gmail.com>

is_visible_from_def_map: handle block expressions

Update our vscode npm packages

Add test

Merge #7759

7759: 7526: Rename ide related crates r=Veykril a=chetankhilosiya

renamed assists -> ide_assists and ssr -> ide_ssr.
the completion crate is already renamed.

Co-authored-by: Chetan Khilosiya <chetan.khilosiya@gmail.com>

7526: Renamed create ssr to ide_ssr.

7526: Rename crate assists to ide_assists.

Merge #7756

7756: update tracing-tree r=kjeremy a=kjeremy

Removes some dependencies

Co-authored-by: kjeremy <kjeremy@gmail.com>

update tidy

update tracing-tree

Merge #7753

7753: Add isize to the list of suffixed integers in typed_integer r=kjeremy a=jonasbb

The missing `isize` in `typed_integers` seems to just be an oversight.

Might fix: #7751

Co-authored-by: Jonas Bushart <jonas@bushart.org>

Add isize to the list of suffixed integers in typed_integer

The missing `isize` in `typed_integers` seems to just be an oversight.

Might fix: #7751

Merge #7752

7752: up once_cell r=kjeremy a=kjeremy

Co-authored-by: kjeremy <kjeremy@gmail.com>