Merge #8465

8465: Include more info in assert r=jonas-schievink a=jonas-schievink

This helped find https://github.com/rust-analyzer/rust-analyzer/issues/8464

changelog skip

bors r+

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

Include more info in assert

Merge #8463

8463: Support macros in pattern position r=jonas-schievink a=jonas-schievink

This was fairly easy, because patterns are limited to bodies, so almost all changes were inside body lowering.

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

Support macros in pattern position

Merge #8436

8436: Fix extract function's mutability of variables outliving the body r=matklad a=brandondong

**Reproduction:**
```rust
fn main() {
    let mut k = 1;
    let mut j = 2;
    j += 1;
    k += j;
}
```
1. Select the first to third lines of the main function. Use the "Extract into function" code assist.
2. The output is the following which does not compile because the outlived variable `k` is declared as immutable:
```rust
fn main() {
    let (k, j) = fun_name();
    k += j;
}

fn fun_name() -> (i32, i32) {
    let mut k = 1;
    let mut j = 2;
    j += 1;
    (k, j)
}
```
3. We would instead expect the output to be:
```rust
fn main() {
    let (mut k, j) = fun_name();
    k += j;
}
```

**Fix:**
- Instead of declaring outlived variables as immutable unconditionally, check for any mutable usages outside of the extracted function.

Co-authored-by: Brandon <brandondong604@hotmail.com>

Merge #8460

8460: Revert "Rewrite `#[derive]` removal code to be based on AST" r=jonas-schievink a=jonas-schievink

It breaks some function-like proc macros: https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Frust-analyzer/topic/Proc.20macro.20expansion/near/233971916

It also uses attribute indices incorrectly, which causes insufficient attributes to be removed.

bors r+

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

Revert "Rewrite `#[derive]` removal to be based on AST"

This reverts commit 7e78aebc8fbbb4043d62949681e4d700f1a2ec46.

Revert "Use `pub(crate)`"

This reverts commit c51213c2e7de21b7e68e6773ca3be0cdfc7c18af.

Revert "Use `name![derive]`"

This reverts commit d6187de4cd34a1288c7820c5477b81b1e9b692a9.

Merge #8458

8458: Respect test style guidelines in tests::traits r=Veykril a=Veykril

bors r+

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

Respect test style guidelines in tests::traits

Merge #8457

8457: Implement more precise binary op return type heuristic r=flodiebold a=Veykril

Should fix #7150

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

Add test for binary op return ty with adt

Add manual ops::Add impls to test::traits::closure_2

Implement more precise binary op return type prediction

Merge #8410

8410: Use CompletionTextEdit::InsertAndReplace if supported by the client r=Veykril a=Veykril

Fixes #8404, Fixes #3130

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

Merge #8384

8384: add is quadratic test r=matklad a=matklad

bors r+
🤖

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

Let's try testing for "is not quadratic" condition

Merge #8453

8453: Avoid an unnecessary `collect` r=jonas-schievink a=jonas-schievink

bors r+

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

Avoid an unnecessary `collect`

Merge #8450

8450: Don't ignore unnamed consts when looking for definitions r=Veykril a=Veykril

Fixes #8448
bors r+

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

Insert unnamed consts to ChildBySource DynMap

Merge #8447

8447: Resolve prelude and crate root names in the root DefMap r=jonas-schievink a=jonas-schievink

Should fix https://github.com/rust-analyzer/rust-analyzer/issues/8418

bors r+

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

Resolve prelude and crate root names in the root DefMap

Merge #8443 #8446

8443: Rewrite `#[derive]` removal code to be based on AST r=jonas-schievink a=jonas-schievink

We now remove any `#[derive]` before and including the one we want to expand, in the `macro_arg` query.

The same infra will be needed by attribute macros (except we only remove the attribute we're expanding, not any preceding ones).

Part of https://github.com/rust-analyzer/rust-analyzer/issues/8434 (doesn't implement the cfg-expansion yet, because that's more difficult)

8446: Undo path resolution hack for extern prelude r=jonas-schievink a=jonas-schievink

Reverts the change made in https://github.com/rust-analyzer/rust-analyzer/pull/7959

We don't populate the extern prelude for block DefMaps anymore,
so this is unnecessary

bors r+

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

Use `name![derive]`

Undo path resolution hack for extern prelude

We don't populate the extern prelude for block DefMaps anymore,
so this is unnecessary

Merge #8445

8445: `hir_ty` cleanup r=flodiebold a=flodiebold

Move lots of things around within `hir_ty`. Most notably, all the Chalk-related stuff moves from within `traits/` to the top-level, since Chalk isn't purely a "traits thing" anymore.

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

More cleanups / module docs

More cleanups

More moving stuff around

Use `pub(crate)`

Merge #8444

8444: Shrink `unlinked-file` diagnostic to 3 characters r=jonas-schievink a=jonas-schievink

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

(the diagnostic fires intentionally on `#[cfg]`d modules, but with this won't cover the whole file)

bors r+

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

Shrink `unlinked-file` diagnostic to 3 characters

Move some more stuff to better places

Move ToChalk -> mapping

Reorganize hir_ty modules

Chalk isn't really a 'traits' thing anymore, so it doesn't make sense to
have all the Chalk-related stuff in submodules of `traits`.

Rewrite `#[derive]` removal to be based on AST

Store `#[derive]` attribute ID along macro invoc

Rename `Attr`s `index` field to `id`

Add `AttrId` to track attribute sources

Merge #8406

8406: Improve indexing of impls r=flodiebold a=flodiebold

Store impls for e.g. &Foo with the ones for Foo instead of the big "other" bucket. This can improve performance and simplifies the HIR impl search a bit.

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

Improve indexing of impls

Store impls for e.g. &Foo with the ones for Foo instead of the big
"other" bucket. This can improve performance and simplifies the HIR impl
search a bit.

Merge #8440

8440: Fix crash on syn involving lifetimes returned by Chalk r=flodiebold a=flodiebold

If we get lifetime variables back in autoderef, just immediately replace them by static lifetimes for now. Method resolution doesn't really deal correctly with new variables being introduced (this needs to be fixed more properly).

This fixes `rust-analyzer analysis-stats --with-deps` crashing in the RA repo.

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

Fix crash on syn involving lifetimes returned by Chalk

If we get lifetime variables back in autoderef, just immediately replace
them by static lifetimes for now. Method resolution doesn't really deal
correctly with new variables being introduced (this needs to be fixed
more properly).

This fixes `rust-analyzer analysis-stats --with-deps` crashing in the RA
repo.

Fix extract function's mutability of variables outliving the body

Merge #8429

8429: 8425: Added documentation for on enter covering //! doc comments. r=jonas-schievink a=chetankhilosiya

Also added passing test case.

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

Merge #8433

8433: Intern lots of things r=jonas-schievink a=flodiebold

This uses the new interning infrastructure for most type-related things, where it had a positive effect on memory usage and performance. In total, this gives a slight performance improvement and a quite good memory reduction (1119MB->885MB on RA, 1774MB->1188MB on Diesel).

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

Cleanup

Intern Variances

This may be a slight performance improvement.

Don't intern ProgramClause at all

This seems to work best performance/memory-wise.

Intern QuantifiedWhereClauses

Slight performance and memory usage improvement.

Intern ProgramClauses

Intern CanonicalVarKinds

Slight savings in performance and memory.

Intern consts & lifetimes

Slight memory usage reduction.

Intern types

Performance about the same, memory reduced by ~5%.

Intern Substitutions

(Costs a bit of performance, reduces memory usage on RA by ~10%.)

Intern VariableKinds

Merge #8431

8431: 8024: Added the trait highlight modifier for assoc types. r=Veykril a=chetankhilosiya

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

8024: Added the trait modifier for assoc types.

8425: Added documentation for on enter covering //! doc comments.

Also added passing test case.

Merge #8428

8428: Use named fields in `MacroCallKind` r=jonas-schievink a=jonas-schievink

bors r+

changelog skip

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

Use named fields in `MacroCallKind`

Merge #8426

8426: Track recursion limit when expanding custom derive r=jonas-schievink a=jonas-schievink

You can write a custom derive that expands to itself:

```rust
#[proc_macro_derive(Derive)]
pub fn derive(item: TokenStream) -> TokenStream {
    let mut out: TokenStream = "#[derive(Derive)]".parse().unwrap();

    out.extend(item);
    out
}
```

rustc reports a recursion limit error, but rust-analyzer used to spin in name resolution and eventually fail with "name resolution is stuck". This makes it fail fast by respecting the recursion depth of the invocation.

bors r+

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

Track recursion limit when expanding custom derive

Merge #8421

8421: Reduce allocations in "Expand macro" formatter r=edwin0cheng a=lnicola

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

Merge #8419 #8423

8419: Move hir_ty to Chalk IR r=flodiebold a=flodiebold

Closes #8313.

There's some further cleanups to do:
 - we're still using our `TypeWalk` in lots of places (not for mutating/folding though, just for walking)
 - we're still using our own canonicalization and unification and our `InferenceTable`
 - ~`ToChalk` still exists and gets called, it's just the identity in most cases now (I'll probably clean those up before merging this)~

8423: Bump lsp-types and syn r=kjeremy a=kjeremy

This lsp-types now supports a default InsertTextMode for completion and a per-completion item commit_characters

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

Bump lsp-types and syn

This lsp-types now supports a default InsertTextMode for completion and a per-completion item commit_characters

Merge #8422

8422: Remove extra bracket in architecture docs r=lnicola a=lnicola

bors r+

changelog skip

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

Remove extra bracket in architecture docs

Reduce allocations in Expand macro

Use CompletionTextEdit::InsertAndReplace if supported by the client

Remove unused

Replace `make_binders` by the now equivalent `make_only_type_binders`

Remove identity impls for ToChalk

Fix `Canonicalized::apply_solution`

Now that we're using Chalk's `substitute` which actually knows about
lifetimes, the hack doesn't work anymore, but we can put in a proper
lifetime.

Fix missing match arms

Fix remaining `interned_mut` call

Replace remaining `fold` calls

Replace some `fold` calls

Fix shifted_{in,out} calls

Fix subst_prefix

Get rid of walk_mut [not compiling]

Fix TyBuilder methods

Impl Fold for CallableSig

Add HasInterner bounds

Allow unused

Remove obsolete Cast impls

Make ToChalk implementations identity

Replace all the types by their Chalk versions

Merge #8207

8207: Show dbg remove assist on empty contents r=edwin0cheng a=ivan770

Closes #8185

Co-authored-by: ivan770 <leshenko.ivan770@gmail.com>
Co-authored-by: ivan770 <ivan@ivan770.me>

Merge #8412

8412: Emit folding ranges for multiline array literals r=Veykril a=Veykril

bors r+

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

Emit folding ranges for  multiline array literals

Merge #8409

8409: Various remaining fixes for Chalk IR move r=flodiebold a=flodiebold

CC #8313

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

Fix return type of Substitution::interned

InEnvironment::new takes a reference

Make Canonical::new a free-standing function

Fix return type of `self_type_parameter`

Move hir_trait_id to extension trait

Change TraitRef::hir_fmt_ext to free-standing function