Merge #3309

3309: Find cargo toml up the fs r=matklad a=not-much-io

Currently rust-analyzer will look for Cargo.toml in the root of the project and if failing that then go down the filesystem until root.

This unfortunately wouldn't work automatically with (what I imagine is) a fairly common project structure. As an example with multiple languages like:
```
js/
  ..
rust/
  Cargo.toml
  ...
```

Added this small change so rust-analyzer would glance one level up if not found in root or down the filesystem.

## Why not go deeper?

Could be problematic with large project vendored dependencies etc.

## Why not add a Cargo.toml manual setting option?

Loosely related and a good idea, however the convenience of having this automated also is hard to pass up.

## Testing?

Build a binary with various logs and checked it in a project with such a structure:

```
[ERROR ra_project_model] find_cargo_toml()
[ERROR ra_project_model] find_cargo_toml_up_the_fs()
[ERROR ra_project_model] entities: ReadDir("/workspaces/my-project")
[ERROR ra_project_model] candidate: "/workspaces/my-project/rust/Cargo.toml", exists: true
```

## Edge Cases?

If you have multiple Cargo.toml files one level deeper AND not in the root, will get whatever comes first (order undefined), example:
```
crate1/
    Cargo.toml
crate2/
     Cargo.toml
... (no root Cargo.toml)
```

However this is quite unusual and wouldn't have worked before either. This is only resolvable via manually choosing.

Co-authored-by: nmio <kristo.koert@gmail.com>

Merge #3376

3376: Fix a common false-positive type mismatch r=matklad a=flodiebold

E.g. for `&{ some_string() }` in a context where a `&str` is expected, we
reported a mismatch inside the block. The problem is that we're passing an
expectation of `str` down, but the expectation is more of a hint in this case.
There's a long comment in rustc about this, which I just copied.

Also, fix reported location for type mismatches in macros.

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

Fix a common false-positive type mismatch

E.g. for `&{ some_string() }` in a context where a `&str` is expected, we
reported a mismatch inside the block. The problem is that we're passing an
expectation of `str` down, but the expectation is more of a hint in this case.
There's a long comment in rustc about this, which I just copied.

Also, fix reported location for type mismatches in macros.

lint warn fix

keep one CargoTomlNotFoundError

Merge #3375

3375: Cleanup editing API a bit r=matklad a=matklad

bors r+
🤖

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

Fix typo

Cleanup editing API

Merge #3374

3374: More orthogonal API for building paths r=matklad a=matklad

bors r+
🤖

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

More orthogonal API for building paths

Merge #3372

3372: vscode: migrate to more type-safe assert impl r=matklad a=Veetaha

https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions

Co-authored-by: Veetaha <gerzoh1@gmail.com>

vscode: simplify assert.eq() to assert() as per matklad

vscode: add dat semicolon

vscode: add equality assertion

vscode: rename nodeAssert -> nativeAssert

vscode: add error loging on failed assertion

vscode: migrate to more type-safe assert impl

Merge #3371

3371: Simplify r=matklad a=matklad

bors r+
🤖

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

Simplify

Merge #3370

3370: Move insert_use util to utils r=matklad a=matklad

bors r+
🤖

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

Move insert_use util to utils

Merge #3369

3369: Reduce visibility r=matklad a=matklad

bors r+
🤖

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

Reduce visibility

Merge #3367

3367: Fix highlighting of const patterns r=matklad a=matklad

bors r+
🤖

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

Correctly flag 'lifetime definitions as definitions

Fix highlighting of const patterns

Merge #3366

3366: Simpilfy original_range logic r=matklad a=edwin0cheng

This PR fixed another [bug](https://github.com/rust-analyzer/rust-analyzer/issues/3000#issuecomment-592474844) which incorrectly map the wrong range of `punct` in macro_call and simplify the logic a little bit by introducing an `ascend_call_token` function.

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

Simpilfy origin_range logic

Classify name takes const patterns into account

Merge #3364

3364: Fix union classification r=matklad a=matklad

bors r+
🤖

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

Fix union classification

Merge #3363

3363: Cleanup highlighting tags r=matklad a=matklad

bors r+
🤖

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

Fix highlighting test

Merge #3362

3362: removing ctrl+r key binding fixes #2733 r=matklad a=jasonwilliams

@matklad i didn't see this mentioned anywhere else in the features.md

Co-authored-by: Jason Williams <jwilliams720@bloomberg.net>

removing ctrl+r key binding fixes #2733

Cleanup highlighting tags

Merge #3361

3361: Reset fontStyle for inlay hints r=matklad a=matklad

Otherwise, we get bold hints on `true` and `false`

bors r+
🤖

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

Reset fontStyle for inlay hints

Otherwise, we get bold hints on `true` and `false`

add more tags

Merge #3355

3355: vscode: added feature flags for better short-term ux r=matklad a=Veetaha

See [this zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Fwg-rls-2.2E0/topic/Feature.20flags) for more details.

Co-authored-by: Veetaha <gerzoh1@gmail.com>

Merge #3360

3360: Parse attribues in RHS of let statments r=matklad a=edwin0cheng

Fixed #3315

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

Merge #3359

3359: Remove AnalysisHost::type_of  r=matklad a=edwin0cheng

This PR remove ` AnalysisHost::type_of` (It is subsume by hover now) and use `Semantics::type_of_x` to infer the type inside `hover` directly.

And this also solved a bug : Right now hovering on a string literal inside a macro will show up a `&str` popup correctly. (Except if that involved builtin macro, e.g. `println`)

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

Fix typo

Merge #3357

3357: introduce const visibility assist r=matklad a=qmx

this adds the same change visibility assist to `const` declarations too - as suggested by @matklad

Co-authored-by: Douglas Campos <qmx@qmx.me>

Parse attr in rhs of let stmts

Remove hover::type_of

introduce const visibility assist

remove code used for testing

fix unneeded body

fixes and improvements

vscode: added feature flags for better short-term ux

Merge #3354

3354: Map builtin r=matklad a=matklad

bors r+
🤖

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

Map builtin

Merge #3353

3353: Set attr scope r=matklad a=matklad

bors r+
🤖

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

Set attr scope

Merge #3352

3352: Map unsafe keyword r=matklad a=matklad

bors r+
🤖

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

Map unsafe keyword

Merge #3351

3351: Refactor string literals r=matklad a=matklad

bors r+
🤖

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

Refactor string literals

Merge pull request #3350 from edwin0cheng/give-up-hover-in-builtin-macro

Ignore hover on builtin macro

Merge pull request #3349 from matklad/yo-dawg

Put syntax highlighting into syntax highlighting

Merge pull request #3348 from matklad/single-line

Ensure that semantic tokens are single-line

Basic injections

Ensure that semantic tokens are single-line

Ignore hover on builtin macro

Merge #3346

3346: More cleanup r=matklad a=matklad

bors r+
🤖

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

Move tests to a new file

More cleanup

Merge #3344

3344: Split loop into orthogonal phases r=matklad a=matklad

bors r+
🤖

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

Split loop into orthogonal phases

Cleanup

Minor cleanup

Merge #3343

3343: Fix style r=matklad a=matklad

bors r+
🤖

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

Fix style

Merge #3342

3342: Some docs r=matklad a=matklad

bors r+
🤖

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

Some docs

Merge #3341

3341: Make xtask install path-agnostic r=matklad a=matklad

bors r+
🤖

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

Make xtask install path-agnostic

Merge pull request #3340 from matklad/fix-lint

Actually gate CI on eslint

Fix lint

Actually gate CI on eslint

Merge #3339

3339: Fix flickering with new syntax highlighting r=matklad a=matklad

bors r+
🤖

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

Fix flickering with new syntax highlighting

Merge #3308

3308: vscode: fix vscode-vim keybindings conflict r=matklad a=Veetaha

Closes #3013 I hope

vscode-vim extension overrides the `type` command so that it prevents
some keypresses to reach the text document editor.
It conflicts with our `onEnter` keybinding
that is used to support automatic doc comments extending and
indentation insertion.

The VSCode-native way to implement this would be
to use regular expressions, but as per matklad it is
considered not acceptable for the language server.

Thus we implement it via a `Enter` keybinding that
invokes our `onEnter` command which does it via the language-server.

At the end of the day we may only apply
ad hoc workarounds for conflicting extensions.
But vscode has another bug for that. You
either cannot use parantheses in `when` condition
of a keybinding or it just malfunctions.

See an issue about that here: https://github.com/microsoft/vscode/issues/91473
To get the ultimate context, follow this [zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Fwg-rls-2.2E0/topic/Enhanced.20typing)

Co-authored-by: Veetaha <gerzoh1@gmail.com>

Merge #3285

3285: Handle trivia in Structural Search and Replace r=matklad a=adamrk

Addresses the second point of https://github.com/rust-analyzer/rust-analyzer/issues/3186.

Structural search and replace will now match code that has varies from the pattern in whitespace or comments.

One issue is that it's not clear where comments in the matched code should go in the replacement. With this change they're just tacked on at the end, which can cause some unexpected moving of comments (see the last test example).

Co-authored-by: adamrk <ark.email@gmail.com>

Merge #3338

3338: Renam module r=matklad a=matklad

bors r+
🤖

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

Renam module

Merge #3335

3335: Refactor highlighting a bit r=matklad a=matklad

bors r+

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

Color constants

Move html highlightig to a separate module

Fix html tests

Better highlightign API

Merge #3337

3337: Remove unused dependencies r=matklad a=sinkuu

Co-authored-by: Shotaro Yamada <sinkuu@sinkuu.xyz>

Remove unused dependencies

Merge #3336

3336: Use text_range::extend_to r=edwin0cheng a=edwin0cheng

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

Use text_range::extend_to

Merge #3334

3334: Update lsp-types r=matklad a=kjeremy

Uses the correct type for the currently unused `SemanticTokensEditsRequest::Return`

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

Update lsp-types

Merge #3332

3332: Fix r=matklad a=matklad

bors r+
🤖

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

Fix