Remove Vfs from project model

Remove SmolStr from project model

Move crate graph generation to ra_project_model

Extract project model to separate crate

Merge #766

766: Formatting code into ra_fmt r=matklad a=eulerdisk

As discussed https://github.com/rust-analyzer/rust-analyzer/pull/762#discussion_r254905885

I did only move the code without other improvements.

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

Merge #768

768: Sort assists by the range of the affected element r=matklad a=robojumper

Closes #763.

https://github.com/rust-analyzer/rust-analyzer/blob/3be98f2ac93b278828e76eb813bdd8033f647b12/crates/ra_assists/src/lib.rs#L233-L236

This could be made more robust by a) adding a way to identify actions by things other than their label and b) allowing arbitrary actions to appear in the list as long as the tested actions are there in the correct order. Let me know if I should do any of that.

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

Improve sorting delegate

Remove unused import

Add tests for action target ranges

Add some assist ranges

Refactor formatting code out of ra_ida_api_light into ra_fmt.

reformat the world

enable "small heuristics"

Merge #765

765: Jettison `imp` module r=matklad a=matklad

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

diagnostics is now a function

move diagnostics to a separate file

move index_resolve to symbol index

move find_references to references

avoid 'ignored' in test output

rename rename to references

move crate for

move changes to a separate file

Merge #760

760: Add new assist to remove dbg!() calls r=matklad a=vipentti

This fixes #758.

Currently we try to maintain the cursor position relative to the statement under
cursor, if the cursor is inside the dbg! macro call.

Meaning:
```rust
let foo = dbg!(some.complex<|>().expression());
```
Should turn into:
```rust
let foo = some.complex<|>().expression();
```
With the cursor staying in place.

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

Merge #761

761: Update npm packages r=matklad a=kjeremy

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

Update npm packages

Remove unnecessary dbg! calls

Add new assist to remove dbg!() calls

This fixes #758.

Currently we try to maintain the cursor position relative to the statement under
cursor, if the cursor is inside the dbg! macro call.

Meaning:

let foo = dbg!(some.complex<|>().expression());

Should turn into:

let foo = some.complex<|>().expression();

With the cursor staying in place.

Merge #755

755: Add new configuration "enableEnhancedTyping" to control registering of "type" command r=matklad a=vipentti

This further fixes problems when having a VIM extension (at least vscodevim)
enabled, by not calling `overrideCommand('type', commands.onEnter.handle)` when
enableEnhancedTyping is set to `false`.

The problem is dependent on the order in which extensions are activated, if
rust-analyzer is activated before `vscodevim`, rust-analyzer will register the
`type` command, and when `vscodevim` finally attempts to activate, it will fail
to register the command. This causes `vscodevim` to stop working properly.

This setting allows users to disable the registerCommand `type` in
rust-analyzer, allowing `vscodevim` to work. The setting defaults to `true`.

Currently changing the setting requires reloading of the window.

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

Run prettier

Add new configuration "enableEnhancedTyping" to control registering of "type" command

This further fixes problems when having a VIM extension (at least vscodevim)
enabled, by not calling `overrideCommand('type', commands.onEnter.handle)` when
enableEnhancedTyping is set to `false`.

The problem is dependent on the order in which extensions are activated, if
rust-analyzer is activated before `vscodevim`, rust-analyzer will register the
`type` command, and when `vscodevim` finally attempts to activate, it will fail
to register the command. This causes `vscodevim` to stop working properly.

This setting allows users to disable the registerCommand `type` in
rust-analyzer, allowing `vscodevim` to work. The setting defaults to `true`.

Currently changing the setting requires reloading of the window.

Merge #754

754: Some clippy things r=matklad a=kjeremy

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

Some clippy cleanups

Merge #753

753: assists: compute edit r=matklad a=kjeremy

Fixes #751

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

assists: compute edit

Merge #752

752: cargo update r=kjeremy a=kjeremy

Removes a few crates from the dep chain.

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

cargo update

Merge #750

750: Move assists to a separate crate r=matklad a=matklad

I am slowly coming to conclusion that ide_api_light does not make a lot of sense after all :D

This PR moves assists to a separate crate, so that assists can use database (so, inspect types, do name-resolution, etc)

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

move assists to a separate crate

Merge #748

748: Fill deprecation for LSP r=kjeremy a=kjeremy

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

Remove stray dbg!

Fill deprecation for LSP

Merge #746

746: Rename assits to assists r=kjeremy a=kjeremy

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

Rename assits to assists

Merge #740

740: Update dependencies r=kjeremy a=kjeremy

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

Remove unused imports

Merge #742

742: Extern crate r=matklad a=flodiebold

This implements `extern crate` declarations by lowering them to (absolute) imports, and adds support for absolute paths. It also extracts the extern prelude from the per-module item map, and handles the special case of extern crates in the crate root adding to the extern prelude.

This means we finally resolve `Arc`, so it fixes #523 :smile:

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

Merge #743

743: Move comment r=matklad a=kjeremy

As pointed out in https://github.com/rust-analyzer/rust-analyzer/pull/738/files#r253651450

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

Merge #744

744: mbe: Ensure repetition separator matches r=matklad a=jrmuizel

Co-authored-by: Jeff Muizelaar <jrmuizel@gmail.com>

mbe: Ensure repetition separator matches

Fix ReachedFixedPoint value for unresolved external prelude items

Move comment

Complete extern prelude (again)

Make it possible to have multiple crate in a mock analysis fixture

Add alloc to std deps

Make extern crates in the root module add to the extern prelude

To accomplish this, separate the extern prelude from the per-module item maps.

Lower extern crates to imports

This is probably not completely correct, but it kind of works.

Add test for extern crate renames

Add AST for extern crate

Also change it to parse the crate name as a NAME_REF, not a NAME.

Merge #741

741: Test more Self inference r=flodiebold a=kjeremy

These cases didn't look covered.

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

Test more Self inference

Bump insta and proptest to latest

Merge #739

739: Future proof by explicitly matching against None r=DJMcNab a=kjeremy

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

cargo update

Future proof by explicitly matching against None

Merge #738

738: Implement lens for impls and support resolving lenses. r=matklad a=kjeremy

Closes #620

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

Add comment

Implement lens for impls and support resolving lenses.

Merge #736

736: mbe: Add support matching for matching idents r=jrmuizel a=jrmuizel

Factors out a helper and adds support for matching idents.

Co-authored-by: Jeff Muizelaar <jrmuizel@gmail.com>

mbe: Add support matching for matching idents

Factor out rules parsing

Merge #735

735: make HirDatabase object-safe r=matklad a=matklad

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

make HirDatabase object-safe

Merge #733

733: fill match arms r=matklad a=gfreezy

fixed #626

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

fill match arm

Merge #732

732: Add core to STD_DEPS r=matklad a=lnicola

See #731.

Co-authored-by: Laurențiu Nicola <lnicola@users.noreply.github.com>

Add core to STD_DEPS

See #731.

Merge #730

730: Make sure we match the entire pattern r=matklad a=jrmuizel

Co-authored-by: Jeff Muizelaar <jrmuizel@gmail.com>

Make sure we match the entire pattern

Merge #728

728: add postfix completion for `dbg!()` with `.dbg` r=matklad a=hdhoang

closes #716

Co-authored-by: Hoàng Đức Hiếu <code@hdhoang.space>

fold complete_postfix tests into one

Merge #727

727: Fix macro_rules separator parsing. r=matklad a=jrmuizel

macro_rules rules are separated by ';' including an optional ';' at the end

Co-authored-by: Jeff Muizelaar <jrmuizel@gmail.com>

Fill out test a little more

This factors out an assert_expansion function to make things
more managable.

Fix macro_rules separator parsing.

macro_rules rules are separated by ';' including an optional ';' at the
end

Merge #726

726: Fix number of extern_inner_attributes r=DJMcNab a=DJMcNab

bors r+

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

Fix number of extern_inner_attributes

add postfix completion for `dbg!()` with `.dbg`

Merge #725

725: Implement `use as` r=matklad a=flodiebold

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

Use aliases in import resolution

Pass aliases to ImportData

Add test for `use as`

Merge #693

693: Name resolution refactoring r=matklad a=flodiebold

This is still very WIP, but it's becoming quite big and I want to make sure this isn't going in a completely bad direction :sweat_smile:. I'm not really happy with how the path resolution looks, and I'm not sure `PerNs<Resolution>` is the best return type -- there are 'this cannot happen in the (types/values) namespace' cases everywhere. I also want to unify the `resolver` and `nameres` namespaces once I'm done switching everything to `Resolver`. Also, `Resolver` only has a lifetime because it needs to have a reference to the `ItemMap` during import resolution :confused:

The differences in the completion snapshots are almost completely just ordering (except it completes `Self` as well now), so I changed it to sort the completions before snapshotting.

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

Some cleanup and additional tests

Make the Resolution variants tuple variants

Cleanup

Use the new Resolver API for goto def

Use the new Resolver API in completion

Use new Resolver API in type inference

Implement methods to build a resolver

Sketching the resolver API

Merge #718

718: split HirDatabase r=matklad a=csmoe

Closes #706

Co-authored-by: csmoe <csmoe@msn.com>