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

minor builder cleanups

cleaned up record field builder

Merge #1909

1909: move ast builder to a separate file r=matklad a=matklad

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

move ast builder to a separate file

move assists to subdir

Merge #1900 #1907

1900: Add rollup bundler for vscode extension r=matklad a=JasperDeSutter

This is an alternative approach to #1451 - bundling should improve extension startup times as explained [here](https://code.visualstudio.com/api/working-with-extensions/bundling-extension).

I'm using [rollup.js](https://rollupjs.org/guide/en/) which is a small and light bundler as opposed to webpack. Bundling is only done for creating the final vsix package, reducing 196 files down to 7 (of which 1 javascript file).

1907: update documentation according to new settings r=matklad a=lesurp

1. `command` has been added to change the default cargo-watch command
2. `check-arguments` has been renamed to `arguments` as a consequence

Thoses changes were merged in #1434

Co-authored-by: JasperDeSutter <jasper.desutter@gmail.com>
Co-authored-by: Paul Lesur <paul.lesur@dfki.de>

Merge #1906

1906: Add missing lang-items to `def_crates` r=matklad a=sinkuu

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

update documentation according to new settings

1. `command` has been added to change the default cargo-watch command
2. `check-arguments` has been renamed to `arguments` as a consequence

Thoses changes were merged in #1434

Merge #1904

1904: Remove redundant `clone()` r=matklad a=sinkuu

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

Add missing lang-items to `def_crates`

Remove redundant clone()

Avoid intermediate allocation

Merge #1845

1845: Closure types r=flodiebold a=flodiebold

This adds types for closures and makes them implement the `Fn` traits (we don't currently care or try to infer `Fn` vs. `FnMut` vs. `FnOnce`; this would require move analysis, I think).

This requires some changes in Chalk; one is that we need to know the self type when asked for impls, so we can synthesize `Fn` trait impls for closures; but also there's a problem that prevents us from normalizing the closure output type correctly that I _think_ will be fixed on the Chalk side (basically, we ask too early and try to solve `Normalize(<?1 as FnOnce<(u32,)>>::Output => ?0)` -- note the variable in the self type -- and instead of an ambiguous answer, we get back that it can't be solved, so we don't try again. Niko mentioned he's making all goals where the self type is unconstrained flounder, which I think would mean this would be ambiguous).

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

Implement the call argument checking order hack for closures

Make the closure_1 test work

Make closures impl closure traits

Give closures types

Merge #1903

1903: Upgrade Chalk again r=flodiebold a=flodiebold

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

Upgrade Chalk again

Merge #1902

1902: simplify r=matklad a=matklad

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

simplify

add rollup bundler for vscode extension

Merge #1898

1898: Drive by lints r=kjeremy a=kjeremy

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

Revert Self

Merge #1899

1899: Upgrade Chalk r=flodiebold a=flodiebold

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

Upgrade Chalk

Drive by lints

Merge #1897

1897: Split off path expression inference code into submodule r=matklad a=flodiebold

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

Split off path expression inference code into submodule

Merge #1895

1895: Handle associated type shorthand (`T::Item`) (Second attempt) r=flodiebold a=flodiebold

This is only allowed for generic parameters (including `Self` in traits), and
special care needs to be taken to not run into cycles while resolving it,
because we use the where clauses of the generic parameter to find candidates for
the trait containing the associated type, but the where clauses may themselves
contain instances of short-hand associated types.

In some cases this is even fine, e.g. we might have `T: Trait<U::Item>, U:
Iterator`. If there is a cycle, we'll currently panic, which isn't great, but
better than overflowing the stack...

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

Merge #1896

1896: remove obsolete TOOD r=matklad a=matklad

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

remove obsolete TOOD

I have no idea what I've meant to fix here :-(

test for TOODs as well

Merge #1885

1885: Suspicious line endings r=matklad a=kjeremy

I'm skeptical of this change but cargo format keeps bugging me about it.

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

minor cleanup

Handle projection types from Chalk

Handle associated type shorthand (`T::Item`)

This is only allowed for generic parameters (including `Self` in traits), and
special care needs to be taken to not run into cycles while resolving it,
because we use the where clauses of the generic parameter to find candidates for
the trait containing the associated type, but the where clauses may themselves
contain instances of short-hand associated types.

In some cases this is even fine, e.g. we might have `T: Trait<U::Item>, U:
Iterator`. If there is a cycle, we'll currently panic, which isn't great, but
better than overflowing the stack...

Merge #1891

1891: Support open source version of vscode as well r=matklad a=jens1o

This patch adds support for https://github.com/VSCodium/vscodium - an truly open source version of vscode.

Co-authored-by: Jens Hausdorf <mail@jens-hausdorf.de>

Support open source version of vscode as well

Merge #1890

1890: Support loop as argument r=matklad a=kjeremy

Fixes #1839

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

Support loop as argument

Merge #1888

1888: allow compiling ra_ide_api on wasm r=matklad a=matklad

bors r+

this is from #1746

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

allow compiling ra_ide_api on wasm

Merge #1886

1886: Simplify match arm r=matklad a=kjeremy

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

Simplify match arm

Suspicious line endings

Merge #1884

1884: Add indexing to record_field_pat r=matklad a=kjeremy

Fixes #1870

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

Apply suggestion

Merge #1883

1883: Fix path attribute causing false "unresolved module" error for submodules r=matklad a=gfreezy

fixed #1880

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