Merge #2481

2481: Remove obsolete comment r=matklad a=matklad

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

Merge #2487

2487: Don't unify within a reference r=matklad a=flodiebold

If we are expecting a `&Foo` and get a `&something`, when checking the `something`, we are *expecting* a `Foo`, but we shouldn't try to unify whatever we get with that expectation, because it could actually be a `&Foo`, and `&&Foo` coerces to `&Foo`. So this fixes quite a few false type mismatches.

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

Don't unify within a reference

If we are expecting a `&Foo` and get a `&something`, when checking the
`something`, we are *expecting* a `Foo`, but we shouldn't try to unify whatever
we get with that expectation, because it could actually be a `&Foo`, and `&&Foo`
coerces to `&Foo`. So this fixes quite a few false type mismatches.

Merge #2486

2486: Fix npm vulnerability warning r=matklad a=edwin0cheng

I see a warning in `npm` when I try to install RA:

```
found 1 high severity vulnerability
```

This PR update package-lock.json by run `npm audit fix`

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

Fix npm vulnerability warning

Merge #2483

2483: Simplify test r=matklad a=matklad

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

Simplify test

Merge #2479

2479: Add expansion infrastructure for derive macros r=matklad a=flodiebold

I thought I'd experiment a bit with attribute macro/derive expansion, and here's what I've got so far. It has dummy implementations of the Copy / Clone derives, to show that the approach works; it doesn't add any attribute macro support, but I think that fits into the architecture.

Basically, during raw item collection, we look at the attributes and generate macro calls for them if necessary. Currently I only do this for derives, and just add the derive macro calls as separate calls next to the item. I think for derives, it's important that they don't obscure the actual item, since they can't actually change it (e.g. sending the item token tree through macro expansion unnecessarily might make completion within it more complicated).

Attribute macros would have to be recognized at that stage and replace the item (i.e., the raw item collector will just emit an attribute macro call, and not the item). I think when we implement this, we should try to recognize known inert attributes, so that we don't do macro expansion unnecessarily; anything that isn't known needs to be treated as a possible attribute macro call (since the raw item collector can't resolve the macro yet).

There's basically no name resolution for attribute macros implemented, I just hardcoded the built-in derives. In the future, the built-ins should work within the normal name resolution infrastructure; the problem there is that the builtin stubs in `std` use macros 2.0, which we don't support yet (and adding support is outside the scope of this).

One aspect that I don't really have a solution for, but I don't know how important it is, is removing the attribute itself from its input. I'm pretty sure rustc leaves out the attribute macro from the input, but to do that, we'd have to create a completely new syntax node. I guess we could do it when / after converting to a token tree.

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

Implement all the other built-in derives

Since as long as we're not implementing the bodies, they all work the same way.

Implement derive(Copy, Clone) properly (well, kind of)

Don't wrap most syntax trees in invisible delimiters when converting to token tree

Otherwise parsing them again doesn't work.

Remove obsolete comment

Add expansion infrastructure for derive macros

Merge #2480

2480: New from sorce infra r=matklad a=matklad

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

Reduce copy-paste

Introduce ChildFromSource

Merge #2474

2474: Move `ModuleSource`, create `ModuleOrigin` r=matklad a=ice1000

As title. This comes right after #2473

Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

Publicize `file_id` to make `test_db` compile

Use placeholder instead of `Option`

One pub function less is good!

Reduce visibility, use struct instead of tuples

No block at the moment

Remove almost unused `ModuleSource::new`

Confluent `ModuleSource` usage

Add `ModuleSource::Block`

Fix test compilation

Three-state enum for module origin

Merge #2478

2478: :arrow_up: rowan r=matklad a=matklad

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

Merge #2477

2477: Run rustfmt with respect to Cargo.toml edition r=matklad a=Speedy37

Fixes #2146
Fixes #1959

Co-authored-by: Vincent Rouillé <vincent@speedy37.fr>

Run rustfmt with respect to Cargo.toml edition

:arrow_up: rowan

Merge #2476

2476: :arrow_up: rowan r=matklad a=matklad

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

:arrow_up: rowan

Merge #2475

2475: fix outdated link to ra-emacs-lsp.el r=matklad a=andrewbanchich

Co-authored-by: Andrew Banchich <andrewbanchich@gmail.com>

fix file name

fix link

use relative link

fix outdated link to ra-emacs-lsp.el

Merge #2471

2471: Add `ModuleItemsOwner` to `Block` r=matklad a=ice1000

As title

Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

Merge #2472

2472: Split up ty tests a bit r=matklad a=flodiebold

`simple` is a bit of a kitchen sink (and not all of them are really about 'simple' features), suggestions for further divisions there are welcome :smile:

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

Add `ModuleItemsOwner` to `Block`

Split up ty tests a bit

Merge #2469

2469: Replace `ra_hir_expand::either` with crate r=matklad a=ice1000

As title.

Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

Replace `ra_hir_expand::either` with crate

Merge #2468

2468: Fix #2467 r=flodiebold a=flodiebold

The stand-alone `unify` requires that the type doesn't contain any type
variables. So we can't share the code here for now (without more refactoring)...

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

Fix #2467

The stand-alone `unify` requires that the type doesn't contain any type
variables. So we can't share the code here for now (without more refactoring)...

Merge #2465

2465: Extract built-in trait implementations to separate module r=matklad a=flodiebold

This untangles the builtin logic from the Chalk translation.

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

Merge #2463

2463: More correct method resolution r=flodiebold a=flodiebold

This should fix the order in which candidates for method resolution are considered, i.e. `(&Foo).clone()` should now be of type `Foo` instead of `&Foo`. It also checks for inherent candidates that the self type unifies properly with the self type in the impl (i.e. `impl Foo<u32>` methods will only be considered for `Foo<u32>`).

To be able to get the correct receiver type to check in the method resolution, I needed the unification logic, so I extracted it to the `unify.rs` module.

Should fix #2435.

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

Make unify pub(crate)

Extract built-in trait implementations to separate module

This untangles the builtin logic from the Chalk translation.

Add tests for checking the impl self type

Refactor a bit

Check receiver type properly

Extract unification code to unify module

Change order of calls to get method candidate order correct

Merge #2018

2018: assists: add assist for custom implementation for derived trait r=matklad a=paulolieuthier

Please, tell me if something could be more idiomatic or efficient.

Fixes #1256.

Co-authored-by: Paulo Lieuthier <paulolieuthier@gmail.com>

Merge #2462

2462: Switch back to npm install r=matklad a=matklad

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

Switch back to npm install

Locks like it honors package.lock nowdays

Merge #2457

2457: Clarify installation instructions r=matklad a=fintelia

In particular it is necessary to clone the repository before running the other commands. I also removed the `cargo install` side note because it didn't actually work (running the command just produces an error that --package isn't a recognized flag) and added a tldr code block with the list of commands to run.

Co-authored-by: Jonathan Behrens <fintelia@gmail.com>

Merge #2461

2461: anyhow, libc, syn, cargo_metadata r=kjeremy a=kjeremy

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

Just update some things

Add back corrected `cargo install` command

Merge #2455

2455: Add BuiltinShadowMode r=flodiebold a=edwin0cheng

This PR try to fix #1905 by introduce an `BuiltinShadowMode` in name resolving functions.

cc @flodiebold

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

Remove some empty lines

Use index instead of peekable

Fix comment

Clarify installation instructions

In particular it is necessary to clone the repository before running the other commands. I also removed the `cargo install` side note because it didn't actually work (running the command just produces an error that --package isn't a recognized flag) and added a tldr code block with the list of commands to run.

Merge #2451

2451: Use env_logger instead of flexi_logger r=matklad a=AlexanderEkdahl

This fixes https://github.com/rust-analyzer/rust-analyzer/issues/2335

- By default only `error` will be printed. From what I can tell this matches the current behaviour. Configured through `RUST_LOG`.
- I looked through the optional dependencies for `env_logger`and I have only enabled `human_time`. Without this feature no timestamp will be shown for log messages.
- `RA_LOG_DIR` feature is removed

This PR adds 2 new dependencies(`env_logger` and `human_time`) and removes 6 dependencies.

Co-authored-by: Alexander Ekdahl <alexander@ekdahl.io>

Add BuiltinShadowMode

Merge #2453

2453: Handle various cycles r=matklad a=flodiebold

 - handle `impl Trait<Self> for SomeType`, which is allowed. This necessitated splitting the `impl_ty` query, but I think the result actually makes a lot of code nicer. This should fix #2446.
 - add recovery for `impl Trait for SomeType<Self>`
 - add recovery for `type Type = Foo<Type>`
 - add recovery for cycles in generic param env

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

Add cycle recovery for type aliases

Add cycle recovery for generic predicates

Handle cycles in impl types better

 - impl Trait<Self> for S is allowed
 - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for
   it in Salsa now

Merge #2449

2449: Only allow renames to valid identifiers r=matklad a=detrumi

Implements #2121

Co-authored-by: Wilco Kusee <wilcokusee@gmail.com>

Remove log dependency from ra_cli

Update README

Remove flexi_logger from ra_lsp_server

Use env_logger in ra_cli

Merge #2445

2445: Infer range types r=flodiebold a=oxalica

Co-authored-by: oxalica <oxalicc@pm.me>

Push identifier check to rename function

Test rename for various identifiers

Move identifier check to analysis

Also allow renaming to underscore

Only allow renames to valid identifiers

Reduce variants of Expr

docs: describe new feature 'add custom impl for derived trait'

assists: add assist for custom implementation for derived trait

Infer range types

Merge #2442

2442: Move source-related traits to a separate module r=matklad a=matklad

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

Move source-related traits to a separate module

Merge #2441

2441: Use InFile for AstId r=matklad a=matklad

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

Use InFile for AstId

Merge #2440

2440: Rename Source -> InFile r=matklad a=matklad

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

Rename Source -> InFile

Merge #2438

2438: Derive Hash for tt::TokenTree r=matklad a=edwin0cheng

Preparation for intern `TokenTree` to salsa database

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

Derive Hash for TokenTrees

Merge #2437

2437: Update mio and anyhow r=kjeremy a=kjeremy

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

Update mio and anyhow

Merge #2433

2433: Use Name::missing consistently r=matklad a=matklad

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

Use Name::missing consistently