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 #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

Merge #9046

9046: fix: make `include!` etc. work in expression position r=jonas-schievink a=jonas-schievink

This PR removes determination of fragment kinds from the eager macro implementations. The fragment kind is always determined by the syntax position in which a macro is invoked, not by the macro implementation, even for eager macros.

This makes `include!` work in expression position, and should have the same effect for all macros that may be used in different positions.

bors r+

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

Remove fragment kind knowledge from builtin macros

Merge #9027

9027: feat: Attribute completion is context aware r=Veykril a=Veykril

This splits off the `lint` and `derive` completions into their own submodules of `attribute`.

The idea is to create a lazy global hashmap that maps `SyntaxKind` to attribute names(`&[&str]`) in which we index with the syntax kind of the "thing" we are attributing giving us the attributes back that are valid for this kind. Then we use this name to do a binary search on the attribute list to fetch and build the corresponding completion item.

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

simplify

Merge #9041

9041: internal: Implement prev sibling determination for `CompletionContext ` r=Veykril a=Veykril

bors r+

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

More completion pattern tests

Implement prev sibling determination for `CompletionContext`

simplify

Merge #9028

9028: only advertise range formatting support if enabled r=Veykril a=euclio

Fixes #9009.

Co-authored-by: Andy Russell <arussell123@gmail.com>

Merge #9040

9040: Don't label derive macros with their banged_name r=Veykril a=Veykril

cc https://github.com/rust-analyzer/rust-analyzer/issues/7072#issuecomment-850396203
This doesn't fix it non builtin derives yet I think cause of a FIXME somewhere that doesn't categorize proc-macro derives as derives yet
bors r+

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

Don't label derive macros with their banged_name

Merge #9038

9038: Folding range for return types r=Veykril a=MozarellaMan

For issue #8957


Co-authored-by: Ayomide Bamidele <48062697+MozarellaMan@users.noreply.github.com>

Test for correct amount of emitted folds

Folding range for return types

Merge #9037

9037: minor: Move runnable lenses below attributes r=Veykril a=Veykril

bors r+

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

Move runnable lenses below attributes

Merge #9036

9036: Remove undocumented `TextDocumentSyncKind::Full` support r=matklad a=lnicola

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

Remove undocumented `TextDocumentSyncKind::Full` support

Merge #9033

9033: Complete keywords in (Assoc)ItemList with leading attribute r=Veykril a=Veykril

Fixes #7673
bors r+

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

Complete keywords in (Assoc)ItemList with leading attribute

Merge #9032

9032: Only complete modules in empty use-statements r=Veykril a=Veykril

bors r+
Part of #8518

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

Only complete modules in empty use-statements

Add another attribute completion test

Add attribute completion tests

Merge #9029

9029: minor: test that `ItemTree` makes `hir_def` queries syntax-independent r=jonas-schievink a=jonas-schievink

bors r+

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