move public API to top of the file

remove depedency on ra_arena

remove arena from Roots

we want to move ra_vfs to a new repo, so having fewer deps is useful.
Arena is a thin layer of sugar on top of Vec anyway.

remove useless Arc

Merge #855

855: :arrow_up: deps r=matklad a=matklad

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

drop unused deps

:arrow_up: deps

Merge #854

854: more compact edits in insta r=matklad a=matklad

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

more compact edits in insta

Don't use additional_text_edits API internally

Merge #852

852: Handle != r=flodiebold a=matklad

r? @flodiebold

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

More orthogonal method naming

Merge #853

853: More compact debug representation for completion r=matklad a=matklad

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

More compact debug representation for completion

handle != operator

Merge #850

850: Handle tuple structs / enum variants properly in type inference r=matklad a=flodiebold

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

Merge #851

851: Enable parsing attributes for generic lifetimes and type parameters r=matklad a=vipentti

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

Enable parsing attributes for generic lifetimes and type parameters

Handle tuple structs / enum variants properly in type inference

Merge #849

849: Don't render `()` in calls to assoc functions r=matklad a=matklad

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

Merge #846

846: WIP: Enable parsing of attributes inside a match block r=matklad a=vipentti

We allow invalid inner attributes to be parsed, e.g. inner attributes that are
not directly after the opening brace of the match block.

Instead we run validation on `MatchArmList` to allow better reporting of errors.

This fixes #845 and works towards #759

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

Remove match_armlist validator

Don't render `()` in calls to assoc functions

Merge #847

847: Refactor vfs r=matklad a=matklad

Some slight refctorings of VFS, in preparation for moving it to a separate repo

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

marginally better names

fix-tests

remove overlay removes overlay

simplify overlay handling

Parse only outer_attributes for match arms for now

simplify

Enable parsing of attributes inside a match block

We allow invalid inner attributes to be parsed, e.g. inner attributes that are
not directly after the opening brace of the match block.

Instead we run validation on `MatchArmList` to allow better reporting of errors.

rename method

remove duplicated method

hide root config

move roots to a module

Merge #844

844: Refactor find_all_refs to return ReferenceSearchResult r=vipentti a=vipentti

This refactors `find_all_refs` to return a new `ReferenceSearchResult` based on feedback in #839.

There are few questions/notes regarding the refactor:

1. Introducing `NavigationTarget::from_bind_pat` this simply forwards the call to `NavigationTarget::from_named`, could we just expose `from_named` directly as `pub(crate)` ?
2. Added an utility method `NavigationTarget::range` since there were few places where you would use `self.focus_range.unwrap_or(self.full_range)`
3. Implementing `IntoIterator` for `ReferenceSearchResult`. This turns `ReferenceSearchResult` into an iterator over `FileRanges` and allows previous code to mostly stay as it was based on the order that `find_all_refs` previously had (declaration first and then the references). I'm not sure if there is a way of doing the conversion to `IntoIter` without the allocation of a new vector
4. Is it possible to have a binding without a name? I'm not sure if the `NavigationTarget::from_bind_pat` can cause some edge-cases that previously were ok

This fixes #835.

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

Remove leading ::

Merge #843

843: Impl generics r=matklad a=flodiebold

This handles type parameters on impls when typing method calls.

~One remaining problem is that the autoderefs aren't applied during the unification of the method receiver type with the actual receiver type, which means that the type parameters are only correctly inferred if no autoderefs happened.~

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

Make GenericArgs::from_ast pub(crate)

Unify with the autorefed/autoderefed receiver type during method resolution

Refactor find_all_refs to return ReferenceSearchResult

Handle generic args for method calls

Handle impl generics in method calls

Resolve impl generic params

Add generic params to impl blocks

Add a test for impl generics

Merge #842

842: Turn ImplBlock into a copy type just containing IDs r=matklad a=flodiebold

This makes it more like the other code model types.

Also make Module::definition_source/declaration_source return HirFileIds, to
make them more like the other source functions.

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

Turn ImplBlock into a copy type just containing IDs

This makes it more like the other code model types.

Also make Module::definition_source/declaration_source return HirFileIds, to
make them more like the other source functions.

Merge #841

841: Add my emacs configuration r=matklad a=flodiebold

I cleaned up and extended my custom emacs code for RA a bit.
This relies on emacs-lsp instead of eglot, so I didn't want to just add it to the other one. It supports some more things, though.

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

Add my emacs configuration

This relies on emacs-lsp instead of eglot, so I didn't want to just add it to
the other one.

document design guideline

Merge #836

836: auto_import: fix bug when the common path was shorter than both the c… r=matklad a=eulerdisk

Fix bug when the common path was shorter than both the current use and target path.

Wrong 1 (unnecessary self)
```
use std::fmt::nested::Debug;
std::fmt::Display<|>
```
--->
```
use std::fmt::{ self, Display, nested::Debug};
Display<|>
```

Wrong 2 (unnecessary, Debug disappear!!)
```
use std::fmt::Debug;
std::fmt::nested::Display
```
-->
```
use std::fmt::Debug::{ self, nested::Display, };
Display<|>
```

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

Merge #838

838: Dont slow down everyone else's testing (especially the CI) just for Mac OS X r=matklad a=pnkfelix

The allowance for up to 7 events, and thus requiring anyone with fewer than 7 events to wait for the 3 second timeout, is only relevant to fsevents (i.e. Mac OS X)

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

Dont slow down everyone else's testing (especially the CI's Linux) just for OS X.

Namely, the allowance for up to 7 events, and thus requiring anyone
with fewer than 7 events to wait for the 3 second timeout, is only
relevant to fsevents (i.e. Mac OS X)

Merge #837

837: Generalize vfs.rs test to address fsevents timing-dependent behavior. r=matklad a=pnkfelix

Generalize `tests/vfs.rs` processing to address wildly-varying timing-dependent behavior from fsevents (i.e. on Mac OS X).

Fix #734

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

Generalize `tests/vfs.rs` processing to address wildly-varying time-dependent behavior on Mac OS X.

Merge #830

830: Fix test_vfs_works failing on Windows due to extra Write events r=pnkfelix a=vipentti

On Windows `notify` generates extra `Write` events for folders, which caused
`process_tasks` to not handle all tasks generated on Windows.

This fixes #827

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

auto_import: fix bug when the common path was shorter than both the current use and target path.
Shorter test names.

Merge #834

834: use better label for &mut ref completion r=matklad a=matklad

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

use better label for &mut ref completion

Merge #833

833: automatically wait for worker threads r=matklad a=matklad

closes #817

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

simplify

automatically wait for worker threads

closes #817

Merge #831

831: tweak postfix completions r=matklad a=matklad

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

tweak postfix completions

* better label
* add refm for &mut

add ref postfix template

Fix test_vfs_works failing on Windows due to extra Write events

On Windows `notify` generates extra `Write` events for folders, which caused
`process_tasks` to not handle all tasks generated on Windows.

This fixes #827

Merge #829

829: Be precise about the argument list r=matklad a=kjeremy

Fixes #812

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

Be precise about the argument list

Fixes #812

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.