Merge #2396

2396: Switch to variant-granularity field type inference r=flodiebold a=matklad

r? @flodiebold

Previously, we had a `ty` query for each field. This PR switcthes to a query per struct, which returns an `ArenaMap` with `Ty`s.

I don't know which approach is better. What is bugging me about the original approach is that, if we do all queries on the "leaf" defs, in practice we get a ton of queries which repeatedly reach into the parent definition to compute module, resolver, etc. This *seems* wasteful (but I don't think this is really what causes any perf problems for us).

At the same time, I've been looking at Kotlin, and they seem to use the general pattern of analyzing the *parent* definition, and storing info about children into a `BindingContext`.

I don't really which way is preferable. I think I want to try this approach, where query granularity generally mirrors the data granularity. The primary motivation for me here is probably just hope that we can avoid adding a ton of helpers to a `StructField`, and maybe in general avoid the need to switch to a global `StructField`, using `LocalStructFieldId` most of the time internally.

For external API (ie, for `ra_ide_api`), I think we should continue with fine-grained `StructField::ty` approach, which internally fetches the table for the whole struct and indexes into it.

In terms of actual memory savings, the results are as follows:

```
This PR:
   142kb FieldTypesQuery (deps)
    38kb FieldTypesQuery

Status Quo:
   208kb TypeForFieldQuery (deps)
    18kb TypeForFieldQuery
```

Note how the table itself occupies more than twice as much space! I don't have an explanation for this: a plausible hypothesis is that single-field structs are very common and for them the table is a pessimisation.

THere's noticiable wallclock time difference.

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

Switch to variant-granularity field type inference

Merge #2394

2394: Implement HasModule for AdtId r=matklad a=matklad

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

Implement HasModule for AdtId

Merge #2393

2393: Simplify ADT fields r=matklad a=matklad

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

Simplify ADT fields

Merge #2391

2391: Simplify r=matklad a=matklad

bors r+

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

Remove impl_block module

hir_def is fully doc'ed!

Merge #2390

2390: Simplify r=matklad a=matklad

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

Simplify

Docs

Merge #2389

2389: Don't redo field resolution in the IDE r=matklad a=matklad

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

Don't redo field resolution in the IDE

Merge #2387

2387: Simplify r=matklad a=matklad

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

Simplify

Merge #2381

2381: Add proc-macro crate type handling r=JasperDeSutter a=JasperDeSutter

Resolves the libproc_macro crate in crates that are the proc-macro type.
This doesn't seem the ideal implementation though, since the compiler still requires you to write `extern crate proc_macro;` (even in 2018 edition).

Co-authored-by: JasperDeSutter <jasper.desutter@gmail.com>

add proc-macro crate type handling

Cleanup nameres

Use Trace in raw_items

Merge #2385

2385: Some docs r=matklad a=matklad

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

Some docs

Cleanup

Reduce visibility

Merge #2383

2383: Add alloc to the crate graph r=matklad a=marcogroppo

`alloc` has been added to the crate graph.

Completions work, but they are available even when the user has **not** declared an `extern crate alloc`. Is this the correct approach?

Fixes #2376.

Co-authored-by: Marco Groppo <marco.groppo@gmail.com>

Merge #2384

2384: Nicer API for attrs r=matklad a=matklad

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

Nicer API for attrs

Slightly reduce code duplication

Simplify

Simplify

Add alloc to the sysroot

Switch to StaticLoc for statics

Merge #2382

2382: Remove ids module r=matklad a=matklad

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

Remove ids module

Pull macro up

Cleanup imports

Push poison_macros down

Reduce visbility

Merge #2378

2378: Fix panic in batch analysis r=matklad a=matklad

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

Fix panic in batch analysis

Closes #2272

Merge #2365

2365: Make expand-macro more flexible r=matklad a=edwin0cheng

Due to lack of implementation or other types of errors, some macros do not expand correctly in the current situation. The PR attempts to make `expand-macro` more flexible in error situations by ignoring internal failed macro expansion.

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

Merge #2343

2343: implement assist invert_if r=matklad a=bravomikekilo

fix [issue 2219 invert if condition](https://github.com/rust-analyzer/rust-analyzer/issues/2219)
I put the assist cursor range to `if` of the if expression, because both condition and body will be replaced. Is there any way to replace them without cover the cursor position?
@matklad

Co-authored-by: bravomikekilo <bmk1221@126.com>

Merge #2360

2360: Refactor builtin macro r=matklad a=edwin0cheng

Refactor builtin macro and add some local tests.

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

do refact and fix some issue

Use macro for all the things

Merge #2375

2375: Privatise nameres r=matklad a=matklad

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

Move ModuleSource back to hir

Privatise nameres

Rename CrateModuleId

Rename BuiltinExpander to BuiltinFnLikeExpander

Move ImportId

Merge #2374

2374: Simplify HasSource r=matklad a=matklad

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

Simplify HasSource

Hide ImportId

Remove unneded supertrait

Merge #2373

2373: Cleanup imports r=matklad a=matklad

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

Cleanup imports

Cleanup imports

Merge #2372

2372: Note that debugging infra is broken r=matklad a=matklad

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

Note that debugging infra is broken

Get rid of DefDatabase2

Move docs to hir_def

Merge #2370

2370: Add note about neovim's built in language server r=matklad a=norcalli

I implemented a builtin language server client (`:h lsp.txt`) for neovim and it's been in master since 2019-11-13. We built https://github.com/neovim/nvim-lsp to contain easy configuration settings for servers which we hope to be a database that can be referenced for other editors/3rd party users as well.

Support will be merged very soon https://github.com/neovim/nvim-lsp/pull/43.

Co-authored-by: Ashkan Kiani <ashkan.k.kiani@gmail.com>

Fix url to point to rust_analyzer specifically

Merge #2369

2369: Move lang_items to hir_def r=matklad a=matklad

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

Add note about neovim's built in language server

Move lang_items to hir_def

Merge #2368

2368: Use attrs rather than syntax for lang items r=matklad a=matklad

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

Use attrs rather than syntax for lang items

Merge #2366

2366: Move attrs query to hir_def r=matklad a=matklad

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

Move attrs query to hir_def

Improve fail case in expand_macro

Merge #2363

2363: More principled sources for enums and fields r=matklad a=matklad

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

More principled sources for enums and fields

Merge #2361

2361: Uniformalize naming r=matklad a=matklad

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

Uniformalize naming

Refactor builtin macro

Add TestDB

Merge #2355

2355: Expand column!() r=kjeremy a=kjeremy

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

Expand column!()

Merge #2357

2357: Expand file! to dummy "" r=edwin0cheng a=kjeremy

See https://github.com/rust-analyzer/rust-analyzer/pull/2355#issuecomment-557541873

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

Merge #2359

2359: Remove TraitData from API r=matklad a=matklad

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

Remove TraitData from API

Merge #2358

2358: Hide data from public API r=matklad a=matklad

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

Hide data from public API

Move const&static date to hir_def

Expand file! to dummy ""

Merge #2356

2356: Move FunctionData to hir_def r=matklad a=matklad

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

Make ImplData's fields public

Move data to a single file

Move FunctionData to hir_def

Merge #2354

2354: Cleanup errors r=matklad a=matklad

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

Reorder

Cleanup errors

Merge #2353

2353: Add support for environment to CrateGraph r=matklad a=matklad

bors r+

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

Add support for environment to CrateGraph

Merge #2348 #2352

2348: Add support for stringify! builtin macro r=matklad a=piotr-szpetkowski

Refs #2212

First time ever contributing here, hopefully it's ok.

2352: Move TypeAlias to hir_def r=matklad a=matklad

Co-authored-by: Piotr Szpetkowski <piotr.szpetkowski@pyquest.space>
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

Move TypeAlias to hir_def

Merge #2347

2347: More correct expand macro r=matklad a=edwin0cheng

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

Merge #2351

2351: Rename Atts trait r=matklad a=matklad

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