Merge #11810

11810: internal: rename the 1.47 proc macro ABI to 1.48 r=jonas-schievink a=jonas-schievink

Closes https://github.com/rust-analyzer/rust-analyzer/issues/9898.

We don't support 1.47, so rename it to reflect that.

bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Rename the 1.47 ABI to 1.48

Merge #11772

11772: Support constants in const eval r=HKalbasi a=HKalbasi

This PR enables evaluating things like this:
```rust
const X: usize = 2;
const Y: usize = 3 + X; // = 5
```
My target was nalgebra's `U5`, `U22`, ... which are defined as `type U5 = Const<{ SomeType5::SOME_ASSOC_CONST }>` but I didn't find out how to find the `ConstId` of the implementation of the trait, not the trait itself (possibly related to #4558 ? We can find associated type alias, so maybe this is doable already) So it doesn't help for nalgebra currently, but it is useful anyway.

Co-authored-by: hkalbasi <hamidrezakalbasi@protonmail.com>

use pat_id instead of name in const eval stack

organize const eval tests

Support constants in const eval

Merge #11806

11806: fix: Fix async block type inference using containing function return type r=Veykril a=Veykril

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/11804
Should fix https://github.com/rust-analyzer/rust-analyzer/issues/11798#issuecomment-1076880521

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

fix: Fix async block type inference using containing function return type

Merge #11802

11802: fix: add stubs to make proc macros work that use the `SourceFile` API r=jonas-schievink a=jonas-schievink

Helps with the rocket 0.4 macros, at least on some Rust versions.

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

bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Merge #11805

11805: fix: Don't try to resolve methods on unknown types r=Veykril a=flodiebold

Fixes #10454, and some type mismatches.

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

Fix filter_map in minicore

Adjust value in syntax highlighting benchmark

Don't try to resolve methods on unknown types

Fixes #10454, and some type mismatches.

Stub out `SourceFile` related proc macro functions

Merge #11801

11801: fix: avoid returning `None` from `Span::join` to fix some proc macros r=jonas-schievink a=jonas-schievink

Some proc macros, notably rocket, `.unwrap()` the result of `Span::join` (and correctly so, it should never be `None`). We don't have a proper implementation of that API, so we always returned `None`. This changes our stub impl to return the first span instead.

Does not fully fix rocket's macros, they need other stuff to work too.

bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Return the first span from `Span::join`

Merge #11800

11800: fix: fix `#[macro_use]` no longer importing non-`macro_rules!` macros r=jonas-schievink a=jonas-schievink

https://github.com/rust-analyzer/rust-analyzer/pull/11663 introduced a regression tracked in https://github.com/rust-analyzer/rust-analyzer/issues/11781, this fixes it.

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

bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

fix: properly import all types of macros with #[macro_use] again

Merge #11799

11799: minor: Fix typo in `abi_1_57/mod.rs` comment r=lnicola a=WaffleLapkin

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

Fix typo in `abi_1_57/mod.rs` comment

Merge #11797

11797: fix: fix "unwrap on a `None` value" in proc macros built with Rust 1.57.0 r=jonas-schievink a=jonas-schievink

Closes https://github.com/rust-analyzer/rust-analyzer/issues/10570

cc https://github.com/rust-analyzer/rust-analyzer/pull/10769#issuecomment-1076251859

bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Introduce new fixed proc macro ABI for 1.57.0

Merge #11791

11791: fix: some fixes and improvements to signature help r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Merge #11795

11795: fix: Correctly suggest auto importing traits from aliases r=Veykril a=unexge

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

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

fix: Correctly suggest auto importing traits from aliases

Merge #11792

11792: minor: Bump dependencies r=Veykril a=Veykril

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

minor: Bump dependencies

signature help: skip lifetimes when non-lifetime arguments are present

Merge #11789

11789: fix: Fix lifetime elision hint configuration key r=Veykril a=Veykril

This is inconsistent with the other configuration keys unfortunately, but this is an issue of how we structured them here in general.

I feel like we'll have to do a proper pass over all the configs, check them for consistency and then write down some documentation of how our configs should be laid out, then apply fixes to the inconsistencies all at once which will entail breaking some user configurations unfortunately since we won't be able to do proper fallback handling for some of these.

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

bors r+

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

fix: Fix lifetime elision hint configuration key

Merge #11788

11788: internal: Improve `find_path` and extern prelude handling r=Veykril a=Veykril

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

Trigger call info when completing generic type

Closes #11763

Avoid signature help inside multiline expressions

Fixes #11768

Merge #11786

11786: fix: fill_match_arms doesn't add wildcard pat for local enums r=Veykril a=OleStrohm

Fix #11783

This adds similar logic to non_exhaustive as is currently on doc(hidden)

Co-authored-by: Ole Strohm <strohm99@gmail.com>

internal: Improve `find_path` and extern prelude handling

Improve readability of signature help tests

applied rustfmt

fix: fill_match_arms doesn't add wildcard pat for local enums

Merge #11780

11780: feat: Add type mismatch diagnostic r=flodiebold a=flodiebold

This adds a proper diagnostic for type mismatches, turning "Add reference here", "Missing Ok or Some" and "Remove this semicolon" into quickfixes for this single diagnostic.
The diagnostic is marked as experimental when it does not have one of these quickfixes, so it can be turned off with `rust-analyzer.diagnostics.enableExperimental` (or specifically with `rust-analyzer.diagnostics.disabled` of course, the ID is `type-mismatch`).
There will still be some false positives, but I think there shouldn't be too many especially when the Chalk fix lands, and it's still experimental anyway :slightly_smiling_face:
This also fixes type checking for `rustc_legacy_const_generics` just to avoid some errors in tests.

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

Merge #11785

11785: fix: Fix tuple- and record struct completions not working with existing braces r=Veykril a=Veykril

bors r+

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

fix: Fix tuple- and record struct completions not working with existing braces

Merge #11782

11782: fix: Fix flyimport showing functions in pattern position r=Veykril a=Veykril

bors r+

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

fix: Fix flyimport showing functions in pattern position

Clean up commented-out lines

Fix unreachable_pub

Fix expect

Add a FIXME

Implement type checking for legacy_const_generics

Cleanups

Remove old diagnostics

Add 'remove this semicolon'

Add "add missing Ok/Some" fix

Add new type-mismatch diagnostic

Expose coercion logic in hir API

Extract coercion logic to InferenceTable

To make it accessible without an InferenceContext.

Merge #11776

11776: Replace write! with direct `Formatter` calls r=Veykril a=lnicola

The final executable is somehow larger (36 239 296 vs 36 238 336 bytes), but this saves us a bit of `text` and `data`:

```
   text    data     bss     dec     hex filename
23719199 1126625    4377 24850201 17b2f19 rust-analyzer-baseline
23716027 1126377    4377 24846781 17b21bd rust-analyzer-pr
```

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

Replace write! with direct calls

Merge #11690

11690: feat: Add an assist for inlining type aliases r=Veykril a=steven-joruk

I'm working towards implementing #10881, but I'd like to get this in first with earlier feedback.

Is `inline_type_alias` a good enough name? I guess the follow up assist would be called `inline_type_alias_into_all_users` based on that.



Co-authored-by: Steven Joruk <steven@joruk.com>

refactor: Do more work in inline_type_alias closure

Merge #11775

11775: internal: Treat `global_asm` and `asm` macros as unsafe r=Veykril a=Veykril

bors r+

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

internal: Treat {global_}asm macros as unsafe

Merge #11774

11774: feat: Tag macro calls as unsafe if they expand to unsafe expressions r=Veykril a=Veykril

as long as they aren't inside an unsafe block inside the macro that is.

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

Simplify

feat: Tag macro calls as unsafe if they expand to unsafe expressions

Merge #11771

11771: feat: Visualize compiler inserted reborrows via inlay hints r=Veykril a=Veykril

Disabled by default.


Closes https://github.com/rust-analyzer/rust-analyzer/issues/11275

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

Update inlay hint feature docs

feat: Visualize compiler inserted reborrows via inlay hints

Merge #11765

11765: fix: Fix closure hints using macro ranges r=Veykril a=Veykril

bors r+

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

fix: Fix closure hints using macro ranges

Merge #11755

11755: feat: Implement lifetime elision hints r=Veykril a=Veykril

With names on:
With names off:

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

Change skip trivial behaviour

Add option to skip trivial cases

Use numbers for lifetimes by default, add setting to prefer using parameter names

Merge #11761

11761: internal: Rename call info to "signature help" r=jonas-schievink a=jonas-schievink

It is no longer limited to just calls

bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Rename call info to "signature help"

It is no longer limited to just calls

Merge #11760

11760: feat: Provide signature help when editing generic args r=jonas-schievink a=jonas-schievink


bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Provide signature help when editing generic args

Fix test fixtures

Give the lifetimes better names

feat: Implement lifetime elision hints

Merge #11752

11752: internal: Allow explicitly specifying end of fixture annotation r=Veykril a=Veykril

bors r+

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

internal: Allow explicitly specifying end of fixture annotation

Merge #11753

11753: feat: Complete assoc const patterns on builtin types r=jonas-schievink a=jonas-schievink

followup to https://github.com/rust-analyzer/rust-analyzer/pull/11713

bors r+

Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>

Complete assoc const patterns on builtin types

Merge #11713

11713: Complete associated consts in patterns  r=jonas-schievink a=hi-rustin

Try close https://github.com/rust-analyzer/rust-analyzer/issues/11555

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

Update crates/ide_completion/src/tests/pattern.rs

Merge #11750

11750: fix: Fix runnables trying to add doc tests in the crate root from #[macro_export] macros r=Veykril a=Veykril

Fixes https://github.com/rust-analyzer/rust-analyzer/issues/11746
bors r+

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

fix: Fix runnables trying to add doc tests in the crate root from #[macro_export] macros

Merge #11747

11747: minor: Remove Update GitHub API token command r=lnicola a=lnicola

bors r+

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

Remove Update GitHub API token command

Merge #11744

11744: Bump deps r=lnicola a=lnicola

bors r+

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

Bump deps

Merge #11743

11743: fix: Properly unify receivers during method resolution r=flodiebold a=flodiebold

This fixes our type inference problems with `DynMap`; the problem there were the projection types in
```rust
impl<P: Policy> KeyMap<Key<P::K, P::V, P>>
```
which messed up the naive type equality check we did. It also actually simplifies the logic though, IMO. I also added a fix for associated const resolution that I noticed (visibility not being taken into account).

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

Move fallback_bound_vars to the only place it's used now

Fixes for consts

Snapshot obligations

Properly try unifying the receivers during method resolution

Instead of hackily checking if they're equal.

Fix typo

Signed-off-by: hi-rustin <rustin.liu@gmail.com>

Add test for DynMap type inference

Match the enum and union

Signed-off-by: hi-rustin <rustin.liu@gmail.com>