Merge #2334

2334: Add rust-analyzer-expand-macro function for Emacs r=flodiebold a=flodiebold

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

Add rust-analyzer-expand-macro function for Emacs

Merge #2332

2332: Add HasResolver trait r=matklad a=matklad

bors merge

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

Alternative quite tests alias

Simplify

Add HasResolver trait

Merge #2330

2330: Remove hir/adt.rs r=matklad a=matklad

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

Remove hir/adt.rs

Merge #2329

2329: fix 2190; add test for "replace if let with match" r=matklad a=fkohlgrueber

Fixes #2190.

Check that the expression doesn't contain newlines only for "replace if let with match". For "join lines", enclosing blocks for multiline expressions should be removed.

Co-authored-by: Felix Kohlgrüber <felix.kohlgrueber@gmail.com>

fix 2190; add test for "replace if let with match"

Simplify generic params

Merge #2328

2328: Move generic_params query to HIR r=matklad a=matklad

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

Move generic_params query to HIR

Merge #2327

2327: Move constants to new ID r=matklad a=matklad

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

Move constants to new ID

This allows us to get rid of trait item index

Don't duplicate ContainerId type

Switch type aliases to new sources

Merge #2326

2326: Remove duplicate tests r=matklad a=matklad

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

Remove duplicate tests

Merge #2318

2318: Fix panic when use `Expand Macro` on `assert_eq` r=matklad a=edwin0cheng

The cause of this [bug](https://github.com/rust-analyzer/rust-analyzer/pull/2291#issuecomment-555651542) is, when calling `SourceAnalyzer::expand` when an `ast::MacroCall` which is outside of `SourceAnalyzer::node`.

Note that if we use a node in `SourceAnalyzer::new` with a `MacroFile` file id, the resolver inside `SourceAnalyzer` still will not work properly. Another PR will need to fix it.

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

Fix expand macro

Merge #2325

2325: Next gen IDs for functions r=matklad a=matklad

The current system with AstIds has two primaraly drawbacks:

* It is possible to manufacture IDs out of thin air.
  For example, it's possible to create IDs for items which are not
  considered in CrateDefMap due to cfg. Or it is possible to mixup
  structs and unions, because they share ID space.

* Getting the ID of a parent requires a secondary index.

Instead, the plan is to pursue the more traditional approach, where
each items stores the id of the parent declaration. This makes
`FromSource` more awkward, but also more correct: now, to get from an
AST to HIR, we first do this recursively for the parent item, and the
just search the children of the parent for the matching def

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

Next gen IDs for functions

The current system with AstIds has two primaraly drawbacks:

* It is possible to manufacture IDs out of thin air.
  For example, it's possible to create IDs for items which are not
  considered in CrateDefMap due to cfg. Or it is possible to mixup
  structs and unions, because they share ID space.

* Getting the ID of a parent requires a secondary index.

Instead, the plan is to pursue the more traditional approach, where
each items stores the id of the parent declaration. This makes
`FromSource` more awkward, but also more correct: now, to get from an
AST to HIR, we first do this recursively for the parent item, and the
just search the children of the parent for the matching def

Merge #2324

2324: Move traits to hir_def r=matklad a=matklad

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

Move traits to hir_def

Merge #2323

2323: Rename with_ast -> with_value r=matklad a=matklad

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

Rename with_ast -> with_value

Merge #2322

2322: Move Generics to hir_def r=matklad a=matklad

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

Move Generics to hir_def

Merge #2321

2321: Allow non-path default type parameters r=matklad a=matklad

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

Allow non-path default type parameters

Merge #2320

2320: Cleanup imports r=matklad a=matklad

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

Cleanup imports

Merge #2319

2319: Rename Source::ast -> Source::value r=matklad a=matklad

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

Rename Source::ast -> Source::value

add ws

Merge pull request #2297 from kiljacken/master

Add fancy truncation of type hints.

Merge #2314

2314: :arrow_up: rowan r=matklad a=matklad

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

:arrow_up: rowan

Merge #2291

2291: Show expanded macro in vscode r=matklad a=edwin0cheng

*Edited*


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

Minor fix for outpu text formating

Add shot doc for expand_macro module

Add document in features.md

Use DocumentProvider instead of Hover

Add test for inlay hint truncation

Move type inlay hint truncation to language server

This commit implements a general truncation framework for HirFormatter
that keeps track of how much has been output so far. This information
can then be used to perform truncation inside the language server,
instead of relying on the client.

Initial support is implemented for truncating types hints using the
maxInlayHintLength server config option. The existing solution in the
VSCode extension has been removed in favor of letting the server
truncate type hints.

Improve insert_whitespaces

Change return type of expand_macro

Change to use Expansion::file_id and reordering

Fix npm formatting

Rebase

Add recursive expand in vscode

Merge #2312

2312: Fixed string literal quoting r=matklad a=edwin0cheng

It fixed a bug which `quote!` should return a literal escaped instead of original string.

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

Run CI on trying as well

Fixed a bug for string lit in quote

Merge #2309

2309: Goto type def through macros r=matklad a=kjeremy

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

Goto type def through macros

Merge #2307

2307: Support hover through macro r=matklad a=kjeremy

Allows hover to work through macros like `match_ast!`.

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

Fix test

Merge #2308

2308: Remove the custom impl of AttrsOwner for ImplItem r=matklad a=DJMcNab

The default impl should have the same behaviour, and it can be generated by codegen.
See also `ModuleItem` and `NominalDef`.

Also see https://github.com/rust-analyzer/rust-analyzer/commit/5dbbfda34ae423229487595fd0ae9e727ae42906#r36011245

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

Remove the custom impl of AttrsOwner for ImplItem

The default impl should have the same behaviour, and it can be generated
by codegen.
See also `ModuleItem` and `NominalDef`

Support hover through macro

Merge #2305

2305: Remove CI badge r=matklad a=matklad

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

Remove CI badge

Merge #2304

2304: Use Source<&ast::Name> in classify_name r=matklad a=kjeremy

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

Use Source<&ast::Name> in classify_name

Merge #2302

2302: Collapse TokenMap and RevTokenMap r=matklad a=matklad

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

Collapse TokenMap and RevTokenMap

Merge #2301

2301: Don't create a separate bin for format hook r=matklad a=matklad

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

Don't create a separate bin for format hook

Merge #2300

2300: Token-based reverse-mapping r=matklad a=matklad

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

Token-based reverse-mapping

Merge #2299

2299: More sources r=matklad a=matklad

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

More sources

Merge #2298

2298: Add ra_ide_api::expand r=matklad a=matklad

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

Add ra_ide_api::expand

This module should handle all tricky bits with mapping macro-expanded
HirFileId to original files the user actually can see in the editor

More Source

Merge #2296

2296: Remove obsolete links r=matklad a=matklad

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

fix bors integration

Remove obsolete links

Switch to Actions

Run npm travis through xvfb-run

Enable github actions ci

Merge #2294

2294: Publicise GenericParams r=matklad a=matklad

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

Publicise GenericParams

See https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Fwg-rls-2.2E0/topic/Exposing.20GenericParam.2Ename

Merge #2292

2292: :arrow_up: rowan r=matklad a=matklad

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

:arrow_up: rowan

Merge #2289

2289: More correct expansion mapping r=matklad a=matklad

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

More correct expansion mapping

We can't really map arbitrary ranges, we only can map tokens

Merge #2288

2288: Make shift an implementation detail of mbe r=matklad a=matklad

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

Make shift an implementation detail of mbe

Merge #2287

2287: Disable doctests r=matklad a=matklad

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

Merge #2286

2286: Alias for less verbose tests r=matklad a=matklad

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

Disable doctests

Alias for less verbose tests

Merge #2285

2285: Don't store shift redundantly r=matklad a=matklad

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

Don't store shift redundantly

Merge #2283

2283: Fix #2275 r=matklad a=edwin0cheng

Fix #2275

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

Add bound check

Merge #2280

2280: Add ast for plain and raw string literals r=matklad a=matklad

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