Merge #2697

2697: Restore internal applySourceChange command r=matklad a=matklad

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

Restore internal applySourceChange command

Use Ctx in highlighter

Merge #2696

2696: Reformat with tsfmt r=matklad a=matklad

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

Reformat with tsfmt

Add tsfmt

Remove prettier

Merge #2695

2695: Privatize highlighting r=matklad a=matklad

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

Privatize highlighting

Merge #2694

2694: Refactor inlay hints r=matklad a=matklad

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

Don't request inline hints repeatedly

Retry inlay hints on content modified error

Thoughtlessly copy-paste a fix to a problem I don't understand

Refactor inlay hints

Add config to Ctx

Encapsulate highlighting activation

Merge #2693

2693: Encapsulate inlay hints activation r=matklad a=matklad

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

Encapsulate inlay hints activation

Dead code

status is not a command

Hints are not commands

Move all commands to ctx

Minor refactor

Refactor runables

Merge #2692

2692: Move expand macro to the new context r=matklad a=matklad

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

Move expand macro to the new context

Cleanup

Merge #2691

2691: Cleanup imports r=matklad a=matklad

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

Cleanup imports

Refactor show syntax tree action

Run prettier on all files

Move parentModule to the new Ctx

Refactor applySourceChange

Move joinLines to the new Ctx

Merge #2690

2690: Fix server config mispell in vscode extension r=matklad a=kiljacken

Fixes #2689

Co-authored-by: Emil Lauridsen <mine809@gmail.com>

Fix server config mispell in vscode extension

Merge #2687

2687: Move matching brace to new Ctx r=matklad a=matklad

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

Move matching brace to new Ctx

Run prettier

Add prettier

More second command to Ctx

Start new ctx module

Merge #2685

2685: Simplify r=matklad a=matklad

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

Simplify

Rename extension.ts -> main.ts

Merge pull request #2684 from matklad/refactor-frontend

Refactor frontend

Minimize typescript CI

Add rollup

Minimize TypeScript build

Trim down launch configurations

Drop all the debugging tasks

There are too many of them, and they no longer match the set of crates
we have.

This really should be handled in a different way, by having out
"rust-analyzer: Run" generate the appropriate lldb config on the fly.

Drop obsolete tasks

Merge #2681

2681: cargo-watcher: Resolve macro call site in more cases r=matklad a=kiljacken

This resolves the actual macro call site in a few more cases, f.x. when a macro invokes `compile_error!` (I'm looking at you `ra_hir_def::path::__path`).

Co-authored-by: Emil Lauridsen <mine809@gmail.com>

Add related information with original error site

Resolve macro call site in more cases

Merge #2680

2680: Fix cargo-watcher file urls on windows r=matklad a=kiljacken

Fixes #2676

Co-authored-by: Emil Lauridsen <mine809@gmail.com>

Lowercase drive letters when getting paths from cargo check

Merge #2679

2679: Resolve traits for infer using lang item infrastructure r=matklad a=kiljacken

As we already have the infrastructure for collecting lang items, use it to find the right traits when doing type-inference.

Co-authored-by: Emil Lauridsen <mine809@gmail.com>

Merge #2061

2061: Theme loading and "editor.tokenColorCustomizations" support. r=matklad a=seivan

Fixes: [Issue#1294](https://github.com/rust-analyzer/rust-analyzer/issues/1294#issuecomment-497450325)
TODO:
- [x] Load themes
- [x] Load existing `ralsp`-prefixed overrides from `"workbench.colorCustomizations"`.
- [x] Load overrides from `"editor.tokenColorCustomizations.textMateRules"`.
- [x] Use RA tags to load `vscode.DecorationRenderOptions` (colors) from theme & overrides.
- [x] Map RA tags to common TextMate scopes before loading colors.
- [x] Add default scope mappings in extension.
- [x] Cache mappings between settings updates.
- [x] Add scope mapping configuration manifest in `package.json`
- [x] Load configurable scope mappings from settings.
- [x] Load JSON Scheme for text mate scope rules in settings.
- [x] Update [Readme](https://github.com/seivan/rust-analyzer/blob/feature/themes/docs/user/README.md#settings).

Borrowed the theme loading (`scopes.ts`) from `Tree Sitter` with some modifications to reading `"editor.tokenColorCustomizations"` for merging with loaded themes and had to remove the async portions to be able to load it from settings updates.

~Just a PoC and an idea I toyed around with a lot of room for improvement.~
For starters, certain keywords aren't part of the standard TextMate grammar, so it still reads colors from the `ralsp` prefixed values in `"workbench.colorCustomizations"`.

But I think there's more value making the extension work with existing themes by maping some of the decoration tags to existing key or keys.

<img width="453" alt="Screenshot 2019-11-09 at 17 43 18" src="https://user-images.githubusercontent.com/55424/68531968-71b4e380-0318-11ea-924e-cdbb8d5eae06.png">
<img width="780" alt="Screenshot 2019-11-09 at 17 41 45" src="https://user-images.githubusercontent.com/55424/68531950-4b8f4380-0318-11ea-8f85-24a84efaf23b.png">
<img width="468" alt="Screenshot 2019-11-09 at 17 40 29" src="https://user-images.githubusercontent.com/55424/68531952-51852480-0318-11ea-800a-6ae9215f5368.png">

These will merge with the default ones coming with the extension, so you don't have to implement all of them and works well with overrides defined in settings.

```jsonc
    "editor.tokenColorCustomizations": {
        "textMateRules": [
            {
                "scope": "keyword",
                "settings": {
                    "fontStyle": "bold",
                }
            },
        ]
    },
```

Edit: The idea is to work with 90% of the themes out there by working within existing scopes available that are generally styled. It's not to say I want to erase the custom Rust scopes - those should still remain and eventually worked into a custom grammar bundle for Rust specific themes that target those, I just want to make it work with generic themes offered on the market place for now.

A custom grammar bundle and themes for Rust specific scopes is out of... scope for this PR.
We'll make another round to tackle those issues.

Current fallbacks implemented

```typescript
    [
        'comment',
        [
            'comment',
            'comment.block',
            'comment.line',
            'comment.block.documentation'
        ]
    ],
    ['string', ['string']],
    ['keyword', ['keyword']],
    ['keyword.control', ['keyword.control', 'keyword', 'keyword.other']],
    [
        'keyword.unsafe',
        ['storage.modifier', 'keyword.other', 'keyword.control', 'keyword']
    ],
    ['function', ['entity.name.function']],
    ['parameter', ['variable.parameter']],
    ['constant', ['constant', 'variable']],
    ['type', ['entity.name.type']],
    ['builtin', ['variable.language', 'support.type', 'support.type']],
    ['text', ['string', 'string.quoted', 'string.regexp']],
    ['attribute', ['keyword']],
    ['literal', ['string', 'string.quoted', 'string.regexp']],
    ['macro', ['support.other']],
    ['variable', ['variable']],
    ['variable.mut', ['variable', 'storage.modifier']],
    [
        'field',
        [
            'variable.object.property',
            'meta.field.declaration',
            'meta.definition.property',
            'variable.other'
        ]
    ],
    ['module', ['entity.name.section', 'entity.other']]
```

Co-authored-by: Seivan Heidari <seivan.heidari@icloud.com>

Remove unused hard-coded paths

Resolve traits in infer using lang item infrastructure

Add helpers for unpacking lang items

Merge #2650

2650: Add macro call support for SourceAnalyzer::type_of r=matklad a=edwin0cheng

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Merge #2674

2674: Reduce visibility r=matklad a=matklad

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

Reduce visibility

Merge #2673

2673: Don't add non-impl/trait containers to scope r=matklad a=matklad

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

Don't add non-impl/trait containers to scope

Merge #2668

2668: In-server cargo check watching r=matklad a=kiljacken

Opening a draft now so people can follow the progress, and comment if they spot something stupid.

Things that need doing:
- [x] Running cargo check on save
- [x] Pipe through configuration options from client
- [x] Tests for parsing behavior
- [x] Remove existing cargo watch support from VSCode extension
- [x] Progress notification in VSCode extension using LSP 3.15 `$/progress` notification
- [ ] ~~Rework ra-ide diagnostics to support secondary messages~~
- [ ] ~~Make cargo-check watcher use ra-ide diagnostics~~

~~I'd love some input on whether to try to keep the status bar progress thingy for VSCode? It will require some plumbing, and maintaining yet another rust-analyzer specific LSP notification, which I'm not sure we want to.~~

Fixes #1894

Co-authored-by: Emil Lauridsen <mine809@gmail.com>

Merge #2667

2667: Visibility r=matklad a=flodiebold

This adds the infrastructure for handling visibility (for fields and methods, not in name resolution) in the HIR and code model, and as a first application hides struct fields from completions if they're not visible from the current module. (We might want to relax this again later, but I think it's ok for now?)

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

Fix busy-waiting issue in main cargo watch thread

Merge #2671

2671: anyhow and crossbeam-queue r=kjeremy a=kjeremy

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

anyhow and crossbeam-queue

Don't finish main cargo watch thread when subprocess finishes.

Fix shutdown behavoir of main cargo-watch thread.

Even though this didn't error, it became clear to me that it was closing
the wrong channel, resulting in the child thread never finishing.

Add doc comment to module

Cargo fmt run

Shutdown/cancelation story for main cargo watch thread

Consistent, hopefully robust, shutdown/cancelation story for cargo check subprocess

visible_from -> is_visible_from

Merge #2657

2657: Omit closure parameters in closure type display strings r=flodiebold a=SomeoneToIgnore

Part of https://github.com/rust-analyzer/rust-analyzer/issues/1946

I wonder, should we display the the closure trait (Fn/FnMut/FnOnce) in inlay hints instead of `|...|` at all?

Co-authored-by: Kirill Bulatov <mail4score@gmail.com>

Move cargo watch functionality to separate crate

Remove Arc from RawVisibility

Now that it's not used as a direct query return value anymore, it doesn't need
to be cheaply cloneable anymore.

Fix cross-crate glob privacy handling

Remove visibility query, instead add struct field visibility to data

Methods should be handled the same, and for items the visibility will be in the
def map.

Rename ResolvedVisibility -> Visibility

Rename Visibility -> RawVisibility

Handle privacy for modules

Check for `todo!` macros in no_todo

Take visibility into account for glob imports

Keep track of visibility during def collection

Collect visibility of items during nameres

Add doc comment

Make enum variant fields public

Hide completions for private struct fields

Add visibility in code model for fields

Add logic for resolving and checking visibility

Add infrastructure for visibility on syntax and hir_def level

Merge #2658

2658: Only add features flags if non-empty r=matklad a=edwin0cheng

This prevent error when disabled  `all-features` in a cargo workspace, because of `--features is not allowed in the root of a virtual workspace` when running `cargo metadata`.

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>

Merge #2663

2663: Fill in type params in 'add missing impl members' assist r=flodiebold a=flodiebold

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

Keep VSCode config mostly backwards compatible