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

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>

Add ast for plain and raw string literals

Merge #2279

2279: Better factoring of macro expansion machinery in goto def r=matklad a=matklad

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

Better factoring of macro expansion machinery in goto def

Merge #2273

2273: goto in macro calls r=matklad a=matklad


This builds on the awesome infrastructure created by @edwin0cheng

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

Goto definition works inside macros

Merge #2276

2276: Source-ify name_definition r=matklad a=matklad

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

Merge #2274

2274: Chalk upgrade & dyn/impl support r=matklad a=flodiebold

 - upgrade Chalk, which is a bit more involved than usual this time -- associated type values (in impls) are now a separate entity in Chalk, so we have to intern separate IDs for them...
 - use Chalk's dyn/impl Trait support
 - fix our handling of binders/bound variables -- before, we didn't use them for anything except Chalk queries, but now that we use them in dyn/impl Trait types and pass that to Chalk, we have to be a bit more careful

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

Merge #2263

2263: Handle `cargo watch` errors caused by `cargo-watch` itself r=matklad a=oxalica

Currently, it silently fails when `cargo-watch` is installed but broken.

This PR handles missing cases and prompt the error message when failed.

Co-authored-by: oxalica <oxalicc@pm.me>

Upgrade Chalk again

Fix handling of the binders in dyn/impl Trait

We need to be more careful now when substituting bound variables (previously, we
didn't have anything that used bound variables except Chalk, so it was not a
problem).

This is obviously quite ad-hoc; Chalk has more infrastructure for handling this
in a principled way, which we maybe should adopt.

Use Chalk's dyn/impl trait support

Upgrade Chalk

Associated type values (in impls) are now a separate entity in Chalk, so we have
to intern separate IDs for them.

Fix format

Source-ify name_definition

Sourcify classify_name_ref

Merge #2271

2271: Force passing Source when creating a SourceAnalyzer r=matklad a=matklad

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

Force passing Source when creating a SourceAnalyzer

Merge #2268

2268: Handle ast::MacroCall in classify_name and impl FromSource for MacroDef r=matklad a=kjeremy

Fixes #2260

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

Prepare SourceAnalyzer for macros

Merge #2270

2270: Reduce some duplication r=matklad a=matklad

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

Reduce some duplication

Add a test that uses classify_name

Remove wrong clone

Merge #2269

2269: Prepare SourceAnalyzer for macros r=matklad a=matklad

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

Handle ast::MacroCall in classify_name and impl FromSource for MacroDef

Fixes #2260

Prepare SourceAnalyzer for macros

Sourcify some more

Merge #2266

2266: Sourcify some things r=matklad a=matklad

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

Sourcify some things

If we want to support macros properly, we need to get rid of those
FileIds everywhere...

Merge #2252

2252: Fix parsing of "postfix" range expressions. r=matklad a=goffrie

Right now they are handled in `postfix_dot_expr`, but that doesn't allow it to
correctly handle precedence. Integrate it more tightly with the Pratt parser
instead.

Also includes a drive-by fix for parsing `match .. {}`.

Fixes #2242.

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

Merge #2265

2265: Fix add-new assist r=matklad a=matklad

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

Attempt to implement typed accessors

Fix add-new assist

Check exit code of `cargo watch`

Merge #2264

2264: move impls to hir-def r=matklad a=matklad

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

Handle errors when `cargo watch` fails

Remove old impls infrastructure

Store impls in CrateDefMap

Add ImplId

Reduce visibility

Merge #2262

2262: Speedup builds for users r=matklad a=matklad

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