Merge #825

825: Remove call to canonicalize in BatchDatabase::load_cargo r=matklad a=vipentti

Instead of using canonicalize, we now join the given path to
`std::env::current_dir()`, which either replaces the path, if the given path is
absolute, or joins the paths.

This fixes #821.

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

Remove call to canonicalize in BatchDatabase::load_cargo

Instead of using canonicalize, we now join the given path to
`std::env::current_dir()`, which either replaces the path, if the given path is
absolute, or joins the paths.

This fixes #821.

Merge #818

818: In `RootConfig::contains`, check against canonicalized version of root path r=matklad a=pnkfelix

In `RootConfig::contains`, check against canonicalized version of root path since OS may hand us data that uses the canonical form rather than the root as specified by the user.

This is a step towards a resolution of issue #734 but does not completely fix the problem there.

Co-authored-by: Felix S. Klock II <pnkfelix@pnkfx.org>

rustfmt

Merge #816

816: Prelude & Edition 2015 import resolution r=matklad a=flodiebold

I implemented the prelude import, but it turned out to be useless without being able to resolve any of the imports in the prelude :sweat_smile: So I had to add some edition handling and handle 2015-style imports (at least the simplified scheme proposed in rust-lang/rust#57745). So now finally `Option` resolves :smile:

One remaining problem is that we don't actually know the edition for sysroot crates. They're currently hardcoded to 2015, but there's already a bunch of PRs upgrading the editions of various rustc crates, so we'll have to detect the edition somehow, or just change the hardcoding to 2018 later, I guess...

~Also currently missing is completion for prelude names, though that shouldn't be hard to add. And `Vec` still doesn't resolve, so I need to look into that.~

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

Complete names from prelude

Handle extern crates better, so they work correctly in 2015 edition

(see the removed comment.)

Make edition handling a bit nicer and allow specifying edition in crate_graph macro

Resolve 2015 style imports

Keep track of crate edition

Import the prelude

Merge #813

813: Add support for container_name in workspace/symbol query r=matklad a=vipentti

Currently this does not fill in the container_info if a type is defined on the top level in a file.

e.g. `foo.rs`
```rust
enum Foo { }
```
`Foo` will have None as the container_name, however

```rust
mod foo_mod {
    enum Foo { }
}
```
`Foo` has `foo_mod` as the container_name.

This closes #559

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

In `RootConfig::contains`, check against canonicalized version of root
path since OS may hand us data that uses that rather than the root as
specified by the user.

Fix possible issue where unnamed is_symbol_def would pop stack wrongly

This removes is_symbol_def as unnecessary.

Use cloned over map + clone

Use clone directly rather than map + clone

Remove unnecessary braces

Merge #814

814: auto_import: import in enclosing module by default r=matklad a=eulerdisk

Simpler version of #795

Co-authored-by: Andrea Pretto <eulerdisk@gmail.com>

Merge #815

815: Fix another crash r=matklad a=flodiebold

Found while typechecking rustc with better name resolution...

`walk_mut` doing a preorder walk can lead to an infinite recursion when substituting type parameters; postorder is actually what we want.

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

Fix another crash

auto_import: import in enclosing module instead of file

auto_import: more tests and some refactorings

Add support for container_name in workspace/symbol query

Merge #811

811: Filter attributes from the completion details/label r=kjeremy a=lnicola

Before:


After:


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

Filter attributes from the completion details/label

Merge #810

810: make token trees eq r=matklad a=matklad

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

make token trees eq

Merge #809

809: what goes bump in the night? r=kjeremy a=kjeremy

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

Merge #808

808: rename yellow -> syntax_node r=matklad a=matklad

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

what goes bump in the night?

rename yellow -> syntax_node

why yellow in the first place? Its red + green.

Merge #807

807: Specify vscode 1.31 r=matklad a=kjeremy

This is for #796

It doesn't seem to fix the problem if you manually install the extension but it is the "right thing to do".

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

Specify vscode 1.31

mention no compatability gurantee

update readme to point to the WG

Merge #804

804: Fix some typos r=killercup a=killercup

Cherry-picked and updated from my now-closed PR. All credit goes to [Code Spell Checker](https://marketplace.visualstudio.com/items?itemName=streetsidesoftware.code-spell-checker).

Co-authored-by: Pascal Hertleif <killercup@gmail.com>

Fix some typos

Merge #805

805: don't distinguish Create and Write events in VFS r=pnkfelix a=matklad

r? @pnkfelix

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

don't distinguish Create and Write events in VFS

Merge #801

801: Implement completion for associated items r=matklad a=lnicola

Fixes #747.

r? @matklad

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

Implement completion for associated items

Merge #802

802: fix obsolete comment r=matklad a=matklad

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

replace clone with copy

fix obsolete comment

Merge #794

794: fix regression in self-referential completion r=flodiebold a=matklad

r? @flodiebold

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

fix regression in self-referential completion

Merge #793

793: remove hard-coded query-group macro r=matklad a=matklad

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

remove hard-coded query-group macro

Merge #791

791: docs r=matklad a=matklad

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

docs

assign ids when converting tt

assign ids to tokens

Merge #781

781: Refactor to allow for multiple assists  r=matklad a=eulerdisk

This is necessary to allow assist "providers" (which currently are simple free function) to produce multiple assists. I'm not sure this is the best possible refactoring tough.

Co-authored-by: Andrea Pretto <eulerdisk@gmail.com>

ra_assists: assist "providers" can produce multiple assists

Merge #790

790: make macro-rules eq r=matklad a=matklad

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

make macro a NameOwner

make macro-rules eq

Merge #789

789: remove useless hash r=matklad a=matklad

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

typo

remove useless hash

Merge #788

788: remove query_definitions r=matklad a=matklad

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

remove query_definitions

Merge #787

787: rename combine -> or r=matklad a=matklad

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

rename combine -> or

This way we match API of Option

https://doc.rust-lang.org/std/option/enum.Option.html#method.or

Merge #785

785: Fix completion of paths r=flodiebold a=matklad

r? @flodiebold

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

Merge #786

786: :arrow_up: insta r=matklad a=matklad

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

:arrow_up: insta

use extern prelude in Resolver

This fixes two bugs:

- completion for paths works again
- we handle extern prelude shadowing more correctly

Merge #784

784: WIP: improve multi-crate fixtures r=matklad a=matklad

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

add graph fixture

Handle SourceRoots automatically in fixtures

Merge #783

783: Fix typo in Cargo.toml authors r=matklad a=vipentti

Fixes typo introduced in #782

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

Fix typo in Cargo.toml authors

Fixes typo introduced in #782

Merge #782

782: Update authors field in Cargo.tomls to "rust-analyzer developers" r=matklad a=vipentti

This closes #777

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

Update authors field in Cargo.tomls to "rust-analyzer developers"

This closes #777

Merge #780

780: Mention node.js requirement in readme r=DJMcNab a=Matthias247

I tried building rust-analyzer according to the instructions, but it failed with a very non-descriptive error:

> will run: npm ci
> Error: Os { code: 2, kind: NotFound, message: "No such file or directory" }

It took me a while to figure out I had an outdated node version installed, which didn't support `npm ci`. I think mentioning the requirement explicitly might prevent others from running into the same issue.

Co-authored-by: Matthias Einwag <matthias.einwag@live.com>

Mention node.js requirement in readme

Merge #778

778: Glob imports r=matklad a=flodiebold

This implements glob imports, completing #231 :)

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

Merge #762

762: "Dumb" auto import assist r=matklad a=eulerdisk

This adds a new assist to "add xxx::yyy to the current file" when the cursor is on a PATH. It manages correctly nested imports,`self` keyword and creates new nested imports if necessary. [See the tests]
It doesn't use name resolution so in that sense is 'dumb', but I have plans to do that. That in the future will be useful to auto import trait names in autocompletion for example.

It can easily be extended to provide multiple actions to select in which scope to import. That's another thing I plan to do.

@matklad I copied some indentation code from `ide_light`, I don't know at the moment if/how you want to refactor that code. This assist was meant to be in `ide_light`.

Co-authored-by: Andrea Pretto <eulerdisk@gmail.com>

Implement glob imports within the same crate

Fixes #231.

Import glob imports from other crates

This is the easy part since we don't have to consider the fixpoint algorithm.

Implement glob imports from enums

Add some tests

Merge #774

774: Batch crate & command r=matklad a=flodiebold

This adds a new crate, `ra_batch`, which is intended for scenarios where you're loading a workspace once and then running some analyses using the HIR API. Also, it adds a command to `ra_cli` which uses that to type-check all crates in a workspace and print some statistics:

E.g. in rust-analyzer:
```
> $ time target/release/ra_cli analysis-stats
Database loaded, 21 roots
Crates in this dir: 28
Total modules found: 231
Total declarations: 3694
Total functions: 2408
Total expressions: 47017
Expressions of unknown type: 19826 (42%)
Expressions of partially unknown type: 4482 (9%)
target/release/ra_cli analysis-stats  3,23s user 0,60s system 100% cpu 3,821 total
```

Or in rust-lang/rust:
```
> $ time ../opensource/rust-analyzer/target/release/ra_cli analysis-stats
Database loaded, 77 roots
Crates in this dir: 130
Total modules found: 1820
Total declarations: 35038
Total functions: 25914
Total expressions: 753678
Expressions of unknown type: 337975 (44%)
Expressions of partially unknown type: 92314 (12%)
../opensource/rust-analyzer/target/release/ra_cli analysis-stats  13,45s user 2,08s system 100% cpu 15,477 total
```

~This still needs a test. Type-checking all of rust-analyzer sadly takes almost a minute when compiled in debug mode :sweat_smile: So I'll need to add something simpler (maybe just looking at a few modules).~

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

Spell cases explicitly in Ty::walk{_mut}

Clean up a bit

Add a smoke test for ra_batch

Merge #776

776: Add support for a seperate output channel for trace messages r=DJMcNab a=DJMcNab

See https://github.com/Microsoft/vscode-languageserver-node/pull/444

I am just working on testing this now, but I think it should work.

Co-authored-by: DJMcNab <36049421+djmcnab@users.noreply.github.com>

Update dependencies

Fix trace and prettier

Add support for a seperate output channel for trace messages

Add an ra_cli command that analyses all crates in the current workspace

... and prints various stats about how many expressions have a type etc.

Implement BatchDatabase construction

Add new crate

Merge #770

770: Fix introduce var duplicating newlines r=matklad a=vipentti

This fixes #713.

If the block before the statement we want to use introduce var on, had empty
lines these empty lines would also be added between the let-statement and
the current line where the new variable is used.

This fixes that by trimming excess newlines from the start of the indent chunk
and simply adding a single newline (when the chunk had newlines) between the
let-statement and the current statement. If there were no newlines this
matches the previous behaviour.

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

Merge #773

773: Crash fixes r=matklad a=flodiebold

This fixes a bunch of crashes found while running type inference on the whole rustc repo :sweat_smile:
 - avoid infinite recursion with ref bind patterns
 - avoid another infinite recursion
 - handle literal patterns, add a new LITERAL_PAT syntax node for this
 - fix an expect that's wrong on some invalid code

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

Add comment and mark

Fix another crash, and try harder to prevent stack overflows

Fix another crash found when analyzing rustc

Fix handling of literal patterns

Wrap them in a LiteralPat node so they can be distinguished from literal
expressions.