Merge #1951

1951: Lower the precedence of the `as` operator. r=matklad a=goffrie

Previously, the `as` operator was being parsed like a postfix expression, and
therefore being given the highest possible precedence. That caused it to bind
more tightly than prefix operators, which it should not. Instead, parse it
somewhat like a normal binary expression with some special-casing.

Fixes #1851.

Co-authored-by: Geoffry Song <goffrie@gmail.com>

Merge #1966

1966: use lockfile in cargo install r=matklad a=matklad

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

use lockfile in cargo install

Merge #1963

1963: proc-macro2 1.0.5 r=matklad a=kjeremy

Has performance improvements. See https://github.com/alexcrichton/proc-macro2/issues/198

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

proc-macro2 1.0.5

Move tests around

Merge #1960

1960: Replace AST visitors with macro r=viorina a=viorina

Fixes #1672.

Co-authored-by: Ekaterina Babshukova <ekaterina.babshukova@yandex.ru>

remove `visitor` module

Merge #1928

1928: Support `#[cfg(..)]` r=matklad a=oxalica

This PR implement `#[cfg(..)]` conditional compilation. It read default cfg options from `rustc --print cfg` with also hard-coded `test` and `debug_assertion` enabled.
Front-end settings are **not** included in this PR.

There is also a known issue that inner control attributes are totally ignored. I think it is **not** a part of `cfg` and create a separated issue for it. #1949

Fixes #1920

Related: #1073

Co-authored-by: uHOOCCOOHu <hooccooh1896@gmail.com>
Co-authored-by: oxalica <oxalicc@pm.me>

replace AST visitors with macro

Use raw cfgs in json project and fix typo

Merge #1952

1952: Create an assist for applying De Morgan's Law r=matklad a=cronokirby

Fixes #1807

This assist can transform expressions of the form `!x || !y` into
`!(x && y)`. This also works with `&&`.

This assist will only trigger if the cursor is on the central logical
operator.

The main limitation of this current implementation is that both operands
need to be an explicit negation, either of the form `!x`, or `x != y`.
More operands could be accepted, but this would complicate the implementation
quite a bit.

Co-authored-by: Lúcás Meier <cronokirby@gmail.com>

Merge #1957

1957: Add alternative setup instruction for vim/neovim r=matklad a=Luke-Nukem

Provide another option hint for vim/neovim users who do not want to run nodejs

Co-authored-by: Luke Jones <luke@ljones.dev>

Merge #1956

1956: don't keep history for gh-pages r=matklad a=matklad

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

Add alternative setup instruction for vim/neovim

Provide another option hint for vim/neovim users who do not want to run nodejs

don't keep history for gh-pages

docs weigh a lot, and change a lot. Keeping their changes in history
inflates repo size. By specifying `keep-history: false` we should be
able to avoid that.

Fix typo about De Morgan's law assist

[#1807] Add entry in docs/user/features

[#1807] Refactor file structure

Use the more conventional way of importing the ast types, and
put the assist at the top of the file.

Fix formatting

Create an assist for applying De Morgan's law

Fixes #1807

This assist can transform expressions of the form `!x || !y` into
`!(x && y)`. This also works with `&&`.

This assist will only trigger if the cursor is on the central logical
operator.

The main limitation of this current implementation is that both operands
need to be an explicit negation, either of the form `!x`, or `x != y`.
More operands could be accepted, but this would complicate the implementation
quite a bit.

WIP: Add demorgan application with naive negation

Merge #1950

1950: Fix parsing of block expressions in "forbid_structs" contexts. r=kjeremy a=goffrie

Forbidding block expressions entirely is too strict; instead, we should only
forbid them in contexts where we are parsing an optional RHS (i.e. the RHS of a
range expression).

Fixes #1773.

Co-authored-by: Geoffry Song <goffrie@gmail.com>

Fix parsing of block expressions in "forbid_structs" contexts.

Forbidding block expressions entirely is too strict; instead, we should only
forbid them in contexts where we are parsing an optional RHS (i.e. the RHS of a
range expression).

Lower the precedence of the `as` operator.

Previously, the `as` operator was being parsed like a postfix expression, and
therefore being given the highest possible precedence. That caused it to bind
more tightly than prefix operators, which it should not. Instead, parse it
somewhat like a normal binary expression with some special-casing.

Merge #1945

1945: Handle divergence in type inference for blocks r=flodiebold a=lnicola

Fixes #1944.

The `infer_basics` test is failing, not sure what to do about it.

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

Add docs

Read default cfgs from rustc

Optimize

Refactor CfgOptions inside

Support cfg attribute on impl blocks

Enable CfgOptions `test` for workspace crates

Introduce ra_cfg to parse and evaluate CfgExpr

Pass attributes as token tree to DefCollector

Merge #1948

1948: Update pico-args, flexi_logger and either r=matklad a=kjeremy

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

Update pico-args

flexi_logger and either

Handle divergence in type inference for blocks

Merge #1938

1938: :arrow_up: deps r=matklad a=matklad

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

:arrow_up: deps

Merge #1937

1937: Added test for check doc strings in directory crates/ r=andreevlex a=andreevlex

#1856

Co-authored-by: Alexander Andreev <andreevlex.as@gmail.com>

Change user message.

Drop debug strings.

Merge branch 'master' into feature/issue/1856

# Conflicts:
# crates/ra_assists/src/ast_editor.rs

Added test for check doc strings in crates.

#1856

Merge #1934

1934: Parse Path and AttrInput in Attr r=matklad a=uHOOCCOOHu

[Syntax reference](https://doc.rust-lang.org/reference/attributes.html#attributes)

Co-authored-by: uHOOCCOOHu <hooccooh1896@gmail.com>

Fixes

Fix API of Attr

Parse correct AttrInput

Merge #1936

1936: cleanup editor r=matklad a=matklad

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

cleanup editor

remove ast_editor.rs

move remove bounds to ast/edit.rs

move field list to ast/edit.rs

migrate add impl items to the new editing API

simplify strip attrs

Merge #1931

1931: Support the new deprecated tag r=matklad a=arsdragonfly

Which is rendered as a strike-through line. Fixes #1671 .

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

Merge #1932

1932: correctly reset chalk state after a panic r=matklad a=matklad

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

correctly reset chalk state after a panic

Fix

Fix tests

Merge branch 'master' of https://github.com/rust-analyzer/rust-analyzer

Support the new deprecated tag

Merge #1930

1930: replace horrible hack with a slightly less horrible one r=matklad a=matklad

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

replace horrible hack with a slightly less horrible one

Merge #1815

1815: Support correct `$crate` expansion in macros r=uHOOCCOOHu a=uHOOCCOOHu

This PR makes normal use cases of `$crate` from macros work as expected.

It makes more macros from `std` work. Type inference works well with `panic`, `unimplemented`, `format`, and maybe more.
Sadly that `vec![1, 2, 3]` still not works, but it is not longer an issue about macro.

Screenshot:

Co-authored-by: uHOOCCOOHu <hooccooh1896@gmail.com>

Fix

Merge #1923

1923: Add SubstsBuilder r=flodiebold a=flodiebold

+ further refactoring.

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

Add SubstsBuilder

+ further refactoring.

Merge #1921

1921: WIP: start simplifying editing API r=matklad a=matklad

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

Start simplifying editing API

Support `$crate` in item and expr place.

Store crate info in `MacroDefId`

Refactor `Name` ready for hygienic macro

Merge #1919

1919: move diff to ra_syntax r=matklad a=matklad

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

move diff to ra_syntax

Merge #1918

1918: keep ast creation API simple r=matklad a=matklad

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

keep ast creation API simple

Merge #1917

1917: disable periodic GC r=matklad a=matklad

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

disable periodic GC

There's hypothesis that it doesn't do anything useful now that we have
LRU...

Merge #1823

1823: Support type coercion r=flodiebold a=uHOOCCOOHu

Co-authored-by: uHOOCCOOHu <hooccooh1896@gmail.com>

Merge #1916

1916: Missing word r=matklad a=nicrd

Co-authored-by: nicrd <nicolasrd@gmail.com>

Missing word

Support all coercion places

Support custom `CoerceUnsized`
Split out tests about coercion

Better handle never type and branch merging
Split out tests for never type to another file

Support basic implicit type coerce

Support auto-deref in argument position

Merge #1912

1912: add new editing API, suitable for modifying several nodes at once r=viorina a=matklad

r? @viorina

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

Merge #1914

1914: Resolve trait associated items r=matklad a=flodiebold

E.g. `Default::default` or `<Foo as Default>::default`.

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

Resolve trait associated items

E.g. `Default::default` or `<Foo as Default>::default`.

Merge #1913

1913: Fix retrieval of the Fn traits r=flodiebold a=flodiebold

I used the wrong query, so it only used the lang items from the respective
crate...

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

Fix retrieval of the Fn traits

I used the wrong query, so it only used the lang items from the respective
crate...

add new editing API, suitable for modifying several nodes at once

Merge #1911

1911: fewer monomorphisations r=matklad a=matklad

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

fewer monomorphisations

Merge #1910

1910: Assists r=matklad a=matklad

bors r+

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

clean up naming

cleanup diagnostics

shorten AstBuilder names