Merge #982

982: Implement BindingMode for pattern matching. r=flodiebold a=mjkillough

Implement `BindingMode` for pattern matching, so that types can be
correctly inferred using match ergonomics. The binding mode defaults to
`Move` (referred to as 'BindingMode::BindByValue` in rustc), and is
updated by automatic dereferencing of the value being matched.

Fixes #888.

 - [Binding modes in The Reference](https://doc.rust-lang.org/reference/patterns.html#binding-modes)
 - [`rustc` implementation](https://github.com/rust-lang/rust/blob/e17c48e2f21eefd59748e364234efc7037a3ec96/src/librustc_typeck/check/_match.rs#L77) (and [definition of `BindingMode`](https://github.com/rust-lang/rust/blob/e957ed9d10ec589bdd523b88b4b44c41b1ecf763/src/librustc/ty/binding.rs))
 - [Match Ergonomics RFC](https://github.com/rust-lang/rfcs/blob/master/text/2005-match-ergonomics.md#binding-mode-rules)

Co-authored-by: Michael Killough <michaeljkillough@gmail.com>

Split test case and use tested_by!.

Simplify match statement.

impl Default for BindingMode.

This decouples callers from knowing what the default binding mode of
pattern matching is.

Merge #983

983: support remainder assignment operator r=matklad a=JeanMertz

`%=` was returning errors for me, turns out it wasn't added as a valid assignment operation.

I'm not sure what the best location would be to add a test for this. Please let me know and I'll add one.

Co-authored-by: Jean Mertz <jean@mertz.fm>

support remainder assignment operator

Merge #986

986: Fix parse tree of attribute on match arm r=matklad a=pcpthm

```rust
match () {
    #[attr]
    () => (),
}
```
Incorrect parse tree: `MatchArmList(Attr(..), MatchArm(..))`.
Fixed: `MatchArmList(MatchArm(Attr(..), ...))`.

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

Fix parse tree of attribute on match arm

Merge #985

985: simplify parsing blocks a bit r=pcpthm a=matklad

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

Merge #984

984: Allow attribute on struct literal field r=matklad a=pcpthm

Cherrypicked from #980

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

simplify parsing blocks a bit

Allow attribute on struct literal field

Merge #968

968: Macro aware name resoltion r=matklad a=matklad

The first commit lays the ground work for new name resolution, including

* extracting position-indendent items from parse trees
* walking the tree of modules
* old-style macro_rules resolve

cc @pnkfelix: this looks like an API name resolution should interact with.

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

docs

remove fixme

remove old macro support

rename ModuleId -> CrateModuleId

fix error on wrong path

log time

Reorganize name resolution

hack around non-terminating macro expansion

remove lower module

remove ItemMap

move tests over to crate-def-map

Replace module_tree with CrateDefMap

add name resolution from the old impl

unlike the old impl, this also handles macro imports across crates

add skeleton for macro-aware name resolutions

Merge #947

947: Add missing impl members r=matklad a=Xanewok

Closes #878.

This took longer than expected as I wrapped my head around the API and the project - hopefully I didn't miss any edge case here.

r? @matklad

Co-authored-by: Igor Matuszewski <xanewok@gmail.com>

Move the primary assist fn to the top of the file

Provide assist when cursor is immediately outside impl item block

Do a cleanup/legibility pass

Take into account parent indent when filling trait members

Simplify trait resolution fragment

Ignore unnamed trait fns and add more tests

Simplify calculation of missing functions

Asymptotically computing a set difference is faster but in the average
case we won't have more than ~10 functions. Also prefer not using hash
sets as these may yield nondeterministic results.

Properly support the case when the cursor is inside an empty block or outside

Redo indent calculation when adding missing impl members

Implement a simple working assist

Calculate missing functions from impl body

Add 'add_missing_impl_members' assist stub

Implement BindingMode for pattern matching.

Implement `BindingMode` for pattern matching, so that types can be
correctly inferred using match ergonomics. The binding mode defaults to
`Move` (referred to as 'BindingMode::BindByValue` in rustc), and is
updated by automatic dereferencing of the value being matched.

Merge #981

981: Remove FnSig from FnDef type r=matklad a=flodiebold

It doesn't need to be in there since it's just information from the def. Another
step towards aligning Ty with Chalk's representation.

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

Remove FnSig from FnDef type

It doesn't need to be in there since it's just information from the def. Another
step towards aligning Ty with Chalk's representation.

Refactor FnSig a bit

Some more Ty displaying cleanup

Merge #976

976: Replace Display by a pretty printing trait for Ty r=matklad a=flodiebold

This allows removing the names from Adt and FnDef (and more later), as a first
step towards aligning more with chalk's Ty :)

I may have gone a bit overboard with the definition of the PrettyPrint trait...

Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>

Replace Display by a pretty printing trait for Ty

This allows removing the names from Adt and FnDef (and more later), as a first
step towards aligning more with chalk's Ty :)

Merge #978

978: Update some dependencies r=matklad a=kjeremy

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

Update some dependencies

Merge #977

977: Fix ra-emacs-lsp for newest lsp-mode with native json support r=matklad a=flodiebold

Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>

Fix ra-emacs-lsp for newest lsp-mode with native json support

Merge #975

975: sort navigations to make tests stable r=matklad a=matklad

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

sort navigations to make tests stable

Merge #974

974: Add MINUS token the PATTERN_FIRST token set r=matklad a=mchesser

Fixes: #972
Co-authored-by: Michael Chesser <michaelchesser@outlook.com>

Add test for minus in inner pattern

Allow MINUS at the start of a pattern.

Merge #973

973: derive Hash for ra_hir::ModuleDef r=matklad a=pcpthm

I wanted to use `HashSet` but it seems like `Hash` derive is missing for no reason.

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

derive Hash for ra_hir::ModuleDef

Merge #971

971: Point to compiler-team repo in the readme r=matklad a=detrumi

The readme still links to the old repo, which redirects to the new one

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

Point to the compiler-team repo directly

Merge #970

970: Fix typo r=matklad a=skade

Co-authored-by: Florian Gilcher <florian.gilcher@asquera.de>

Fix typo

Merge #969

969: activate extension if Cargo.toml is present r=matklad a=matklad

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

activate extension if Cargo.toml is present

Merge #959

959: Retrieve current working directory from workspace r=matklad a=LDSpits

This PR improves the way the language client retrieves the current working directory by using the VSCode workspace API to get the path to the currently open directory.

If we find more than one directory we show a warning that "multi root workspaces are not supported yet" and pick the root path.

Any feedback is appreciated 😄

fixes #945

Co-authored-by: Lucas Spits <spits.lucas@gmail.com>

Merge #958

958: LSP: Support EnumMember and Field r=matklad a=kjeremy

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

Merge #962

962: remove Def r=matklad a=matklad

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

remove Def

Applied code style of ``npm run fix``

Fix typescript linting errors

Merge branch 'master' of https://github.com/LDSpits/rust-analyzer into feature/workspace-directory

Retrieve current directory from workspaces

LSP: Support EnumMember and Field

Merge #956

956: Add async keyword r=c410-f3r a=c410-f3r

Fixes #954.

Co-authored-by: Caio <c410.f3r@gmail.com>

Add test for async block

Merge #957

957: Fix and simplify "rustc-watch" problem matcher r=vemoo a=vemoo

Cargo watch now always ends with "[Finished running ..." and includes some extra info. Make the pattern only match "[Finished running".

Also add "cargo watch" and "cargo watch tests" that use the "rustc-watch" problem matcher.
Change the "Build Lsp" to do "cargo check" because that's faster, and I think enought in this case, and make it use "rustc" problem matcher from the extension.

Co-authored-by: Bernardo <berublan@gmail.com>

prettier format

revert change to "check" since "build" is intentional

add cargo watch tasks
use extension problemMatcher

simplify watch patterns

Add async keyword

Merge #953

953: Don't default publishDecorations and showWorkspaceLoaded to true on the server r=matklad a=flodiebold

If the client doesn't specify these explicitly, that very likely means it
doesn't know about them and so we shouldn't send them. In particular, the recent
change to this default caused decorations to be sent to emacs, resulting in a
lot of warning spam.

Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>

Don't default publishDecorations to true on the server

If the client doesn't specify this explicitly, that very likely means it doesn't
know about it and so we shouldn't send decorations. In particular, the recent
change to this default caused decorations to be sent to emacs, resulting in a
lot of warning spam.

Merge #955

955: Remove superfluous semicolons r=kjeremy a=kjeremy

Doesn't change the result of the test but it does prevent the
syntax tree from rendering.

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

Remove superfluous semicolons

Doesn't change the result of the test but it does prevent the
syntax tree from rendering.

Merge #952

952: Update some deps r=matklad a=kjeremy

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

Update some deps

Merge #951

951: Fix EnumVariants not showing properly when hovering r=matklad a=vipentti

This fixes #950

This also fixes hovering over the name of an EnumVariant.

Additionally this changes the way enum variants are shown, now instead of the `Some<T>... -> Option` you just get `Some`. I'm not sure what would be the optimal display for enum variants in this case.

Co-authored-by: Ville Penttinen <villem.penttinen@gmail.com>

Use ast::Name::text() instead of name().syntax().text()

Fix EnumVariants not showing properly when hovering

This fixes documentation as well for EnumVariants

Merge #948

948: Fix test_missing_module_code_action_in_json_project on Windows r=matklad a=vipentti

The test would fail on Windows due to the paths not being properly escaped for
JSON.

In addition adds extra braces around the fn main to actually introduce braces in
the file.

Co-authored-by: Ville Penttinen <villem.penttinen@gmail.com>

Fix test_missing_module_code_action_in_json_project on Windows

The test would fail on Windows due to the paths not being properly escaped for
JSON.

In addition adds extra braces around the fn main to actually introduce braces in
the file.

Merge #949

949: Specify derive feature for serde r=matklad a=pcpthm

`ra_project_model` build will fail when no dependencies are using this feature. Reproduced by creating a crate depending on `ra_batch`.

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

Specify derive feature for serde

Merge #944

944: Add support for goto definition and hover on Self r=matklad a=vipentti

This fixes #943

Co-authored-by: Ville Penttinen <villem.penttinen@gmail.com>

Add support for goto definition and hover on Self

This fixes #943

Merge #946

946: when loading workspace, say how many packages were loaded r=matklad a=matklad

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

when loading workspace, say how many packages were loaded

this should help to debug configuration issues, when you see `0
packages loaded` or something like that.

Merge #939

939: Initial implementation of project-lock.json. r=davidtwco a=davidtwco

Fixes #792.

This PR adds a initial implementation of project-lock.json, a build
system agnostic method of specifying the crate graph and roots.

Co-authored-by: David Wood <david@davidtw.co>

Remove rust-project.json test w/ dependencies.