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.

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>

Speedup builds for users

Merge #2261

2261: Reduce visibility r=matklad a=matklad

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

Reduce visibility

Merge #2259

2259: Update smallvec and fix rustc warning r=matklad a=memoryruins

- Update smallvec in ra_mbe to [1.0](https://github.com/servo/rust-smallvec/releases/tag/v1.0.0)
- Heed rustc's `array_into_iter` lint https://github.com/rust-lang/rust/issues/66145

Co-authored-by: memoryruins <memoryruinsmusic@gmail.com>

Heed the advice of rustc's into_iter() warning

Update smallvec dep to 1.0

Merge #2257

2257: Flatten expr module r=matklad a=matklad

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

Flatten expr module

Move scope tests to hir_def

Reduce visibility

Merge #2255

2255: Add convenience method for testing r=matklad a=matklad

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

Add convenience method for testing

Merge #2254

2254: Auto-upgrade some insta snapshots r=matklad a=matklad

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