aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_def
Commit message (Collapse)AuthorAgeFilesLines
* Merge #8432bors[bot]2021-04-131-0/+10
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8432: decl_check: consider outer scopes' allows r=jonas-schievink a=lf- Fix #8417. Also makes it less noisy about no_mangle annotated stuff the user can do nothing about. Note: this still is broken with bitfield! macros. A repro in an ignore test is included here. I believe this bug is elsewhere, and I don't think I can work around it here. I would like help filing the remaining bug, as it does actually affect users, but I don't know how to describe the behaviour (or even if it is unintended). Co-authored-by: Jade <[email protected]>
| * decl_check: consider outer scopes' allowsJade2021-04-081-0/+10
| | | | | | | | | | | | | | | | | | Fix #8417. Also makes it less noisy about no_mangle annotated stuff the user can do nothing about. Note: this still is broken with bitfield! macros. A repro in an ignore test is included here. I believe this bug is elsewhere, and I don't think I can work around it here.
* | Support macros in pattern positionJonas Schievink2021-04-113-8/+33
| |
* | Avoid an unnecessary `collect`Jonas Schievink2021-04-091-3/+1
| |
* | Merge #8450bors[bot]2021-04-091-0/+4
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | 8450: Don't ignore unnamed consts when looking for definitions r=Veykril a=Veykril Fixes #8448 bors r+ Co-authored-by: Lukas Wirth <[email protected]>
| * | Insert unnamed consts to ChildBySource DynMapLukas Wirth2021-04-091-0/+4
| | |
* | | Resolve prelude and crate root names in the root DefMapJonas Schievink2021-04-092-7/+34
| | |
| | |
| \ \
*-. \ \ Merge #8443 #8446bors[bot]2021-04-095-35/+39
|\ \ \ \ | |_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8443: Rewrite `#[derive]` removal code to be based on AST r=jonas-schievink a=jonas-schievink We now remove any `#[derive]` before and including the one we want to expand, in the `macro_arg` query. The same infra will be needed by attribute macros (except we only remove the attribute we're expanding, not any preceding ones). Part of https://github.com/rust-analyzer/rust-analyzer/issues/8434 (doesn't implement the cfg-expansion yet, because that's more difficult) 8446: Undo path resolution hack for extern prelude r=jonas-schievink a=jonas-schievink Reverts the change made in https://github.com/rust-analyzer/rust-analyzer/pull/7959 We don't populate the extern prelude for block DefMaps anymore, so this is unnecessary bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| | * | Undo path resolution hack for extern preludeJonas Schievink2021-04-091-9/+4
| |/ / |/| | | | | | | | | | | We don't populate the extern prelude for block DefMaps anymore, so this is unnecessary
| * | Store `#[derive]` attribute ID along macro invocJonas Schievink2021-04-093-9/+15
| | |
| * | Rename `Attr`s `index` field to `id`Jonas Schievink2021-04-091-8/+8
| | |
| * | Add `AttrId` to track attribute sourcesJonas Schievink2021-04-091-14/+17
|/ /
* | Use named fields in `MacroCallKind`Jonas Schievink2021-04-083-17/+22
| |
* | Track recursion limit when expanding custom deriveJonas Schievink2021-04-081-1/+1
|/
* Update `OUT_DIR` diagnostic to match settingJonas Schievink2021-04-072-2/+2
|
* Collect trait impls inside unnamed constsJonas Schievink2021-04-071-0/+4
|
* nameres: collect unnamed constsJonas Schievink2021-04-072-14/+29
|
* Avoid O(n²) when constructing AttrSourceMapJonas Schievink2021-04-063-10/+70
|
* Lower attributes on tuple fieldsJonas Schievink2021-04-061-5/+4
|
* infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-061-0/+13
| | | | | It stores no useful data, since we can derive all fields from `variant_resolutions`
* Intern TypeRefs stored in BodyJonas Schievink2021-04-062-8/+12
| | | | Minor improvement to memory usage (1 MB or so)
* Use Box'es to reduce the size of hir_def::expr::Pat from 112 to 64 bytes on ↵Alexandru Macovei2021-04-063-6/+12
| | | | 64bit
* Use Box'es to reduce size of hir_def::expr::Expr from 128 to 72 bytes (on ↵Alexandru Macovei2021-04-062-10/+14
| | | | | | | | | | 64bit systems) Rationale: only a minority of variants used almost half the size. By keeping large members (especially in Option) behind a box the memory cost is only payed when the large variants are needed. This reduces the size Vec<Expr> needs to allocate.
* Merge #8352bors[bot]2021-04-051-9/+3
|\ | | | | | | | | | | | | | | 8352: Remove dead legacy macro expansion code r=lnicola a=brandondong I was investigating some unrelated macro issue when I noticed this dead code. This legacy macro expansion logic was changed in https://github.com/rust-analyzer/rust-analyzer/pull/8128. Co-authored-by: Brandon <[email protected]>
| * Remove dead legacy macro expansion codeBrandon2021-04-051-9/+3
| |
* | `Interned<T>`: Only hash the pointerJonas Schievink2021-04-051-2/+8
| |
* | Make `impl_internable!` macro publicJonas Schievink2021-04-051-2/+7
| |
* | Merge #8245bors[bot]2021-04-051-2/+93
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 8245: Properly resolve intra doc links in hover and goto_definition r=matklad a=Veykril Unfortunately involves a bit of weird workarounds due to pulldown_cmark's incorrect lifetimes on `BrokenLinkCallback`... I should probably open an issue there asking for the fixes to be pushed to a release since they already exist in the repo for quite some time it seems. Fixes #8258, Fixes #8238 Co-authored-by: Lukas Wirth <[email protected]>
| * | Replace Range<usize> usage with TextRangeLukas Wirth2021-03-301-28/+14
| | |
| * | Implement basic Documentation source to syntax range mappingLukas Wirth2021-03-301-2/+107
| | |
* | | simplify visibility.rsJonas Schievink2021-04-051-3/+3
| | |
* | | Intern `GenericParams`Jonas Schievink2021-04-057-80/+44
| | | | | | | | | | | | | | | Also share the same instance between `ItemTree` and `generic_params` query.
* | | Add `GenericParams::shrink_to_fit`Jonas Schievink2021-04-052-0/+10
| | | | | | | | | | | | Reduces memory usage by over 10 MB
* | | Intern more `TypeRef`s in genericsJonas Schievink2021-04-053-9/+11
| | | | | | | | | | | | Saves ~3 MB
* | | Check if bitflags deps pulls its weightAleksey Kladov2021-04-044-33/+33
| | | | | | | | | | | | | | | | | | | | | | | | Bitflags is generally a good dependency -- it's lightweight, well maintained and embraced by the ecosystem. I wonder, however, do we really need it? Doesn't feel like it adds much to be honest.
* | | Merge #8324bors[bot]2021-04-041-1/+11
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8324: Add `Body::shrink_to_fit` r=jonas-schievink a=jonas-schievink Saves ~15 MB bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | | Add `Body::shrink_to_fit`Jonas Schievink2021-04-041-1/+11
| | | |
* | | | Only remember blocks that have a DefMapJonas Schievink2021-04-042-6/+8
|/ / /
* | | Merge #8322bors[bot]2021-04-042-2/+12
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8322: Access a body's block def maps via a method r=jonas-schievink a=jonas-schievink bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * | | Access a body's block def maps via a methodJonas Schievink2021-04-042-2/+12
| | | |
* | | | Use exhaustive matches in shrink_to_fit implsJonas Schievink2021-04-042-13/+38
|/ / /
* | | Make `ast_to_token_tree` infallibleJonas Schievink2021-04-041-1/+1
| | | | | | | | | | | | It could never return `None`, so reflect that in the return type
* | | Use shrink_to_fit to reduce DefMap sizesJonas Schievink2021-04-033-1/+25
| | |
* | | Use bitflags to compress function propertiesJonas Schievink2021-04-034-53/+102
| | | | | | | | | | | | Very minor savings, only 1 MB or so
* | | Intern `ModPath` in `Import`Jonas Schievink2021-04-033-4/+8
| | | | | | | | | | | | Minor savings only
* | | Allow include! an empty content fileEdwin Cheng2021-04-032-0/+33
| | |
* | | Support `#[rustc_builtin_macro = "builtin_name"]`Jonas Schievink2021-04-031-1/+11
| | |
* | | Allow interning stringsJonas Schievink2021-04-031-9/+46
| | |
* | | Stop using an upgradeable read lock in interningJonas Schievink2021-04-021-5/+2
| | | | | | | | | | | | | | | | | | Only one upgradeable read lock can be handed out at the same time, and we never acquire a non-upgradeable read lock, so this has no benefit over just using a write lock in the first place.
* | | Only populate prelude for crate-level DefMapsJonas Schievink2021-04-021-14/+16
| | |