README is short and up to the point

introduce docs dir

Merge #998

998: import resolution is immutable r=matklad a=matklad

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

import resolution is immutable

Merge #996

996: Allow attributes on top level expressions r=matklad a=pcpthm

This PR modifies parser to allow outer attributes on top level expression. Here, top level expression means either
- Expression statement e.g. `foo();`
- Last expression in a block without semicolon `bar()` in `{ foo(); bar() }`.

Except for binary operation expressions and `if` expressions, which are errors (feature gated) in rustc.
Attributes on inner expressions like `foo(#[a] 1)` are not implemented.

I first tried to implement this by passing `Maker` to expression parsers. However, this implementation couldn't parse `#[attr] foo()` correctly as `CallExpr(Attr(..), PathExpr(..), ArgList(..))` and instead parsed incorrectly as `CallExpr(PathExpr(Attr(..), ..), ArgList(..))` due to the way left recursion is handled.
In the end, I introduce `undo_completion` method. Which is not the suggested approach, but it seems not very bad.

Fix #759.

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

Replace `contract_child` to a less ad-hoc API

Mark non-code block as text

Error about attributes on
unallowed types of expression statement

Allow attributes on top level expression
A top level expression is either
- a expression statement or
- the last expression in a block

Merge #995

995: Install and run `cargo watch` if user agrees r=matklad a=Xanewok

This isn't a glorious patch but hopefully is useful :+1: This introduces a default background `cargo watch` task and (separately from that) asks the user on every startup if they want to run `cargo watch` (installs it if it's not available).

r? @matklad does it fit the what you've been thinking about?

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

Appease CI

Guard auto cargo watch behind a config option

Separate out the interactive cargo watch procedure

Reformat using Prettier

Remove unused imports

Prefer installing `cargo-watch` via Task API

This gives us much more fine-grained stdout buffering and ANSI terminal colors.

Respect the user-provided label when creating task

Ask the user to install and start cargo watch

Define a cargo watch task

Merge #993

993: Fix installing vscode extension on MacOS r=matklad a=funkill

VSCode often installed in MacOS as `Visual Studio Code.app` package and `code` binary located at `Contents/Resources/app/bin` in package. This path not exists in `$PATH` variable and we can't run `code`.

In previous version of `do_run` function all before space was command and all after - arguments. If path or command has spaces, extracting command breaks. To fix this i extracted command to separated argument of function.

All packages can be placed in system app dir (`/Applications`) or user app dir (`~/Applications`). I created helper function for find app in this directories.

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

set code less generic

Merge #994

994: Upgrade ra_vfs to use new Filtering r=matklad a=vipentti

Upgrade `ra_vfs` to `0.2.0` that includes the filtering.

Currently this matches the previous filtering, meaning all roots are filtered
using the same rules.

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

Upgrade ra_vfs to use new Filtering

Currently this matches the previous filtering, meaning all roots are filtered
using the same rules.

added setup environment

added helper module for appending vscode path

Remove redundant Runnable.range

Merge #991

991: Use Marker argument for item parsers r=matklad a=pcpthm

Before doing this for expressions, I found that the pattern (Marker argument) should be applied to the item parsers because visiblity and modifiers are parsed in a separate function.

Fixed some parser bugs:
- Fix pub_expr: `pub 42;` was allowed.
- Fix incorrect parsing of crate::path: incorrectly parsed as `crate` as a visibility.

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

Merge #989

989: Implement naive version of fill_struct_fields assist r=matklad a=yanchith

Fixes #964

This implements the `fill_struct_fields` assist. Currently only works for named struct fields, but not for tuple structs, because we seem to be missing a `TupleStructLit` (akin to `StructLit`, but for tuple structs). I am happy to implement `TupleStructLit` parsing given some guidance (provided it's really missing) and make the assist work for tuple structs as well. Could do so either in this PR, or another one 🙂

Sorry if I missed something important, this is my first PR for Rust Analyzer.

Btw is there any way to run the assists in emacs?

UPDATE: I just realized that parsing `TupleStructLit` would be quite difficult as it it really similar, if not identical to a function call...

Co-authored-by: yanchith <yanchi.toth@gmail.com>

Only replace NamedFieldList and add test for preserving Self

Remove unachievable TODO

Use Marker argument for item parsers
- Fix pub_expr
- Fix incorrect parsing of crate::path

Merge #987

987: Refactor maybe_item to use Marker argument r=pcpthm a=pcpthm

As suggested at <https://github.com/rust-analyzer/rust-analyzer/pull/980#issuecomment-473659745>.
For expression paring functions, changing signature
- from `fn(&mut Parser) -> Option<CompletedMarker>` to `fn(&mut Parser, Marker) -> Result<CompletedMarker, Marker>`
- from `fn(&mut Parser) -> CompletedMarker` to `fn(&mut Parser, Marker) -> CompletedMarker`
is my plan.

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

Apply stylistic changes suggested

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.

Implement naive version of fill_struct_fields assist

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

Refactor maybe_item to use Marker argument

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>