Merge #9110

9110: internal: simplify r=Veykril a=Veykril

bors r+

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

Remove obsolete is_new_item field on CompletionContext

Add MethodCall and FieldAccess variants to ImmediateLocation

Merge #9102

9102: minor: Fall back to legacy prelude r=jonas-schievink a=jonas-schievink

should fix https://github.com/rust-analyzer/rust-analyzer/issues/9101

bors r+

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

Fall back to legacy prelude

Merge #9097

9097: feat: Implement per-edition preludes r=jonas-schievink a=jonas-schievink

Part of https://github.com/rust-analyzer/rust-analyzer/issues/9056

Our previous implementation was incorrect (presumably because of the misleading comment in libstd [here](https://github.com/rust-lang/rust/blob/a7890c7952bdc9445eb6c63dc671fa7a1ab0260d/library/std/src/lib.rs#L339-L343)). `#[prelude_import]` does not define the prelude, it can only override the implicit prelude for the current crate.

This PR fixes that, which also makes the prelude imports in `rustc_span` work. Closes https://github.com/rust-analyzer/rust-analyzer/issues/8815.

bors r+

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

Implement per-edition preludes

Merge #8717

8717: Update match checking algorithm r=iDawer a=iDawer

I've recently got interest in the match checking to extend the current algo to support reporting witnesses of non-exhaustiveness.
It appears the algo is outdated from rustc's implementation. I decided to rewrite it based on the latest rustc's version. It is a diff-based port to ra codebase. That means you can diff-compare these files to rustc.
I'm striving to keep minimal ra-related changes in the algo to make it easier to backport future changes from the upstream.

Based on upstream algorithm of version rust-lang/rust 1.52.0-nightly (25c15cdbe 2021-04-22)
https://github.com/rust-lang/rust/blob/25c15cdbe/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs

The goal of this PR is to cover the current `missing-match-arm` diagnostic.

What is remaining to do:
- [x] Error handling. The errors that are unrelated to match checking will be handled before the check. Just like how it made in rustc.
  - [x] Lowering `hir_def::expr::Pat` to `hir_ty::diagnostics::match_check::Pat`. rustc's match checking works on top of `rustc_mir_build::thir::Pat`, which is lowered from `hir::Pat` and carries some extra semantics used by the check. All unrelated checks are done there. RA could use this to rule out running the check on unimplemented cases (`Pat::ConstBlock`, etc).
  - [x] ~~Proper~~Loose typecheck of match arm patterns (https://github.com/rust-analyzer/rust-analyzer/pull/8840, https://github.com/rust-analyzer/rust-analyzer/pull/8875).
- [x] Tests from `hir_ty::diagnostics::match_check::tests`.
- [x] Clean up `todo`s
- [x] Test run on real repos https://github.com/rust-analyzer/rust-analyzer/pull/8717#issuecomment-847120265.

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

Expand fixme comments

fix: panic on extra fields in a pattern

Correct binding pattern's type; handle invalid records.

Take substitutions into account.

eprint panic context

minor: doc comment pat_util

Test match guards, reference patterns

Box field detection; test #[non-exhaustive] attribute

Better tests: check if match checking bails out.

Replace the old match checking algorithm

Include old tests

Don't panic on a pattern of unresolved ADT variant.

Clean up, more docs.

Check pattern types.

Expand binding patterns.

Fix visibility warnings

Lower binding pattern

Lower bool literals

Treat ctor of unhandled type as non-exhaustive.

Lower Pat::Path

Do not do match check if lowering failed.

Fix panics on pattern_arena.borrow with ugly cloning

Basic lowering hir_def::exrp::Pat -> typed HIR.

Pattern arena is broken

Handle unordered fields in struct patterns

Complete field replacing

Support bool literal patterns

Check enum patterns

Build wildcard witnesses instead of panicking

Implement struct ctor application

Add remaining Constructor variants

Complete usefulness::SubPatSet impl

List useless patterns in a useful match arm

Remove unneeded indirection on PatCtxt

Enable generation of non-exhaustiveness witnesses

Update match checking.

fn is_useful , more skeletons

Specify a lifetime on pattern references

impl PatStack

fill impl Matrix

PatStack::pop_head_constructor

Index-based approach

struct PatCtxt

fields construction fn Fields::wildcards

split wildcard

fn Constructor::is_covered_by_any(..)

fn Matrix::specialize_constructor(..)

impl Usefulness

Initial work on witness construction

Reorganize files

Replace match checking diagnostic

Handle types of expanded patterns

unit match checking go brrr

Merge #9090

9090: hir_ty: use correct receiver_ty in method resolution r=cynecx a=cynecx

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

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

Merge #9091

9091: Fix opening single files r=SomeoneToIgnore a=SomeoneToIgnore

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

Co-authored-by: Kirill Bulatov <mail4score@gmail.com>

Fix opening single files

hir_ty: use correct receiver_ty in method resolution

Merge #9088

9088: minor: remove debug print r=matklad a=matklad

bors r+
🤖

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

minor: remove debug print

Merge #9084 #9087

9084: fix: avoid panics in match case diagnostic r=matklad a=matklad

bors r+
🤖

closes #8809

9087: fix: fix shell injection in task spawning r=matklad a=matklad

bors r+
🤖

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

fix: fix shell injection in task spawning

closes #9058

Merge #9086

9086: minor: try fixing proc_macro_srv tests r=jonas-schievink a=jonas-schievink

Not entirely sure what's going wrong in https://github.com/rust-analyzer/rust-analyzer/pull/9084, but this might fix it?

bors r+

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

Use `cargo check` again

minor: it's Parameter, not Argument

fix: avoid panics in match case diagnostic

Merge #8952

8952: add support of impl block for doctest into runnables r=matklad a=bnjjj

close #6356

Co-authored-by: Benjamin Coenen <5719034+bnjjj@users.noreply.github.com>

Merge #9083

9083: internal: Simplify proc_macro_srv tests r=jonas-schievink a=jonas-schievink

Removes `serde_derive`, instead using `proc_macro_test` macros.

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

bors r+

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

Simplify proc_macro_srv tests

Merge #9081

9081: minor: expand docs a tiny bit r=matklad a=matklad

bors r+
🤖

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

minor: expand docs a tiny bit

Merge #9079

9079: Don't take the parent kind of trailing attributes in attr completion r=Veykril a=Veykril

bors r+
fixes https://github.com/rust-analyzer/rust-analyzer/issues/9076

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

Don't take the parent kind of trailing attributes in attr completion

Merge #9039

9039: feat: Complete fields and methods with `self.` prefixed when inside methods r=matklad a=Veykril

Closes #7173

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

Add config setting for self-on-the-fly

Move unprefixed field/method completion to `dot`

Less strings, more hir::Names

Complete `self.` prefixed fields and methods inside methods

Merge #8866

8866: Update salsa r=matklad a=jonas-schievink

This updates salsa to include https://github.com/salsa-rs/salsa/pull/265, and removes all cancellation-related code from rust-analyzer

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

Merge #9060

9060: feat: Diagnose unimplemented built-in macros r=matklad a=jonas-schievink

A number of built-in attribute macros are unsupported, I thought it might be useful to put a diagnostic on their definition in libcore. Not sure.

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

Merge #9077

9077: internal: Use `Name`s instead of Strings in the completion rendering api r=Veykril a=Veykril

bors r+

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

Use `Name`s instead of Strings in the completion rendering api

Merge #9025

9025: internal: Display unknown types in `analysis-stats` r=flodiebold a=lnicola

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

Merge #9072

9072: minor: reenable incremental test builds r=lnicola a=iDawer

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

minor: reenable incremental test builds

Merge #9071

9071: minor: reenable incremental release builds r=jonas-schievink a=jonas-schievink

forgot to turn this back on in https://github.com/rust-analyzer/rust-analyzer/pull/9069

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

reenable incremental release builds

Merge #9069

9069: minor: Don't force-disable incremental r=jonas-schievink a=jonas-schievink

1.52.1 turns incremental off regardless of this setting, so this is unnecessary. Removing this allow manually overriding Cargo to enable incremental.

bors r+

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

Don't force-disable incremental

Merge #9068

9068: Move more `CompletinoContext` fields to `ImmediateLocation` r=Veykril a=Veykril

bors r+

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

Move more fields to `ImmediateLocation`

Merge #9065

9065: hir_ty: don't pass where clauses of associated types down to chalk r=cynecx a=cynecx

See #9052.

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

hir_ty: don't pass where clauses of associated types down to chalk (temp. fix #9052)

Merge #9064

9064: Fix incorrect prefer_inner calls on some attribute completions r=Veykril a=Veykril

bors r+

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

Fix incorrect prefer_inner calls on some attribute completions

Merge #9062

9062: internal: Bump deps r=lnicola a=lnicola

Fixes #9061

bors r+

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

Bump deps

Diagnose unimplemented built-in macros

Merge #9059

9059: fix: Only complete derive proc macros in `#[derive]` r=jonas-schievink a=jonas-schievink

HIR now gives them `MacroKind::Derive` instead of `MacroKind::ProcMacro`

bors r+

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

Only complete derive proc macros in `#[derive]`

Update to prerelease

Merge #9057

9057: internal: Thread proc-macro types through the HIR r=jonas-schievink a=jonas-schievink

Should help with completion of derives. cc @Veykril

bors r+

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

Thread proc-macro types through the HIR

Merge #9050

9050: hir_ty: use async ret type for inference inside async bodies r=flodiebold a=cynecx

Fixes #9004.

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

Merge #9054

9054: fix: fix `matches!` macro on nightly toolchains r=jonas-schievink a=jonas-schievink

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

bors r+

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

Treat `pat_param` like `pat` fragments

Merge #9051

9051: Fix incorrect setting descriptions r=lnicola a=sclu1034

Descriptions for diagnostic warning hint and info display were swapped.

Fixes #8485.

Co-authored-by: Lucas Schwiderski <lucas@lschwiderski.de>

hir_ty: use async ret type for inference inside async bodies

Fix incorrect setting descriptions

Descriptions for diagnostic warning hint and info display were swapped.

Fixes #8485.

Signed-off-by: Lucas Schwiderski <lucas@lschwiderski.de>

Merge #9048

9048: Add some lint completion tests r=Veykril a=Veykril

bors r+

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

Add some lint completion tests