Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Lower attributes on tuple fields | Jonas Schievink | 2021-04-06 | 1 | -5/+4 | |
| | ||||||
* | infer: remove `record_field_resolutions` field | Jonas Schievink | 2021-04-06 | 1 | -0/+13 | |
| | | | | | It stores no useful data, since we can derive all fields from `variant_resolutions` | |||||
* | Intern TypeRefs stored in Body | Jonas Schievink | 2021-04-06 | 2 | -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 Macovei | 2021-04-06 | 3 | -6/+12 | |
| | | | | 64bit | |||||
* | Use Box'es to reduce size of hir_def::expr::Expr from 128 to 72 bytes (on ↵ | Alexandru Macovei | 2021-04-06 | 2 | -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 #8352 | bors[bot] | 2021-04-05 | 1 | -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 code | Brandon | 2021-04-05 | 1 | -9/+3 | |
| | | ||||||
* | | `Interned<T>`: Only hash the pointer | Jonas Schievink | 2021-04-05 | 1 | -2/+8 | |
| | | ||||||
* | | Make `impl_internable!` macro public | Jonas Schievink | 2021-04-05 | 1 | -2/+7 | |
| | | ||||||
* | | Merge #8245 | bors[bot] | 2021-04-05 | 1 | -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 TextRange | Lukas Wirth | 2021-03-30 | 1 | -28/+14 | |
| | | | ||||||
| * | | Implement basic Documentation source to syntax range mapping | Lukas Wirth | 2021-03-30 | 1 | -2/+107 | |
| | | | ||||||
* | | | simplify visibility.rs | Jonas Schievink | 2021-04-05 | 1 | -3/+3 | |
| | | | ||||||
* | | | Intern `GenericParams` | Jonas Schievink | 2021-04-05 | 7 | -80/+44 | |
| | | | | | | | | | | | | | | | Also share the same instance between `ItemTree` and `generic_params` query. | |||||
* | | | Add `GenericParams::shrink_to_fit` | Jonas Schievink | 2021-04-05 | 2 | -0/+10 | |
| | | | | | | | | | | | | Reduces memory usage by over 10 MB | |||||
* | | | Intern more `TypeRef`s in generics | Jonas Schievink | 2021-04-05 | 3 | -9/+11 | |
| | | | | | | | | | | | | Saves ~3 MB | |||||
* | | | Check if bitflags deps pulls its weight | Aleksey Kladov | 2021-04-04 | 4 | -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 #8324 | bors[bot] | 2021-04-04 | 1 | -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 Schievink | 2021-04-04 | 1 | -1/+11 | |
| | | | | ||||||
* | | | | Only remember blocks that have a DefMap | Jonas Schievink | 2021-04-04 | 2 | -6/+8 | |
|/ / / | ||||||
* | | | Merge #8322 | bors[bot] | 2021-04-04 | 2 | -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 method | Jonas Schievink | 2021-04-04 | 2 | -2/+12 | |
| | | | | ||||||
* | | | | Use exhaustive matches in shrink_to_fit impls | Jonas Schievink | 2021-04-04 | 2 | -13/+38 | |
|/ / / | ||||||
* | | | Make `ast_to_token_tree` infallible | Jonas Schievink | 2021-04-04 | 1 | -1/+1 | |
| | | | | | | | | | | | | It could never return `None`, so reflect that in the return type | |||||
* | | | Use shrink_to_fit to reduce DefMap sizes | Jonas Schievink | 2021-04-03 | 3 | -1/+25 | |
| | | | ||||||
* | | | Use bitflags to compress function properties | Jonas Schievink | 2021-04-03 | 4 | -53/+102 | |
| | | | | | | | | | | | | Very minor savings, only 1 MB or so | |||||
* | | | Intern `ModPath` in `Import` | Jonas Schievink | 2021-04-03 | 3 | -4/+8 | |
| | | | | | | | | | | | | Minor savings only | |||||
* | | | Allow include! an empty content file | Edwin Cheng | 2021-04-03 | 2 | -0/+33 | |
| | | | ||||||
* | | | Support `#[rustc_builtin_macro = "builtin_name"]` | Jonas Schievink | 2021-04-03 | 1 | -1/+11 | |
| | | | ||||||
* | | | Allow interning strings | Jonas Schievink | 2021-04-03 | 1 | -9/+46 | |
| | | | ||||||
* | | | Stop using an upgradeable read lock in interning | Jonas Schievink | 2021-04-02 | 1 | -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 DefMaps | Jonas Schievink | 2021-04-02 | 1 | -14/+16 | |
| | | | ||||||
* | | | Remove `?Sized` on `PartialEq`/`Eq` impls | Jonas Schievink | 2021-04-02 | 1 | -3/+5 | |
| | | | ||||||
* | | | Split `Intern::drop` into hot and cold path | Jonas Schievink | 2021-04-02 | 1 | -16/+23 | |
| | | | ||||||
* | | | Remove unnecessary region, relax `Sized` bounds | Jonas Schievink | 2021-04-01 | 1 | -16/+12 | |
| | | | ||||||
* | | | Intern Attr, MacroCall and Path components | Jonas Schievink | 2021-04-01 | 7 | -17/+21 | |
| | | | ||||||
* | | | Global TypeRef/TraitRef interning | Jonas Schievink | 2021-04-01 | 7 | -114/+198 | |
| | | | ||||||
* | | | Fix block inner item defined in macro | Edwin Cheng | 2021-03-31 | 1 | -0/+6 | |
| | | | ||||||
* | | | Merge #8266 | bors[bot] | 2021-03-31 | 1 | -1/+3 | |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8266: Fix generic arguments being incorrectly offset in qualified trait casts r=flodiebold a=Veykril We reverse the segments and generic args of the lowered path after building it, this wasn't accounted for when inserting the self parameter in `Type as Trait` segments. Fixes #5886 Co-authored-by: Lukas Wirth <[email protected]> | |||||
| * | | | Fix generic arguments being incorrectly offset in qualified trait casts | Lukas Wirth | 2021-03-30 | 1 | -1/+3 | |
| |/ / | ||||||
* | | | Remove TraitRef::Error | Lukas Wirth | 2021-03-29 | 2 | -13/+14 | |
| | | | ||||||
* | | | Rename target_ty to self_ty | Lukas Wirth | 2021-03-29 | 3 | -6/+6 | |
| | | | ||||||
* | | | Lower traits to TraitRef instead of TypeRef | Lukas Wirth | 2021-03-29 | 4 | -6/+68 | |
|/ / | ||||||
* | | Remove unused test fixtures | Edwin Cheng | 2021-03-28 | 1 | -4/+0 | |
| | | ||||||
* | | Basic Support Macro 2.0 | Edwin Cheng | 2021-03-27 | 2 | -39/+85 | |
|/ | ||||||
* | Fix recursive macro statement expansion | Edwin Cheng | 2021-03-25 | 4 | -52/+37 | |
| | ||||||
* | Merge #7907 | bors[bot] | 2021-03-24 | 2 | -1/+38 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 7907: Autoderef with visibility r=cynecx a=cynecx Fixes https://github.com/rust-analyzer/rust-analyzer/issues/7841. I am not sure about the general approach here. Right now this simply tries to check whether the autoderef candidate is reachable from the current module. ~~However this doesn't exactly work with traits (see the `tests::macros::infer_derive_clone_in_core` test, which fails right now).~~ see comment below Refs: - `rustc_typeck` checking fields: https://github.com/rust-lang/rust/blob/66ec64ccf31883cd2c28d045912a76179c0c6ed2/compiler/rustc_typeck/src/check/expr.rs#L1610 r? @flodiebold Co-authored-by: cynecx <[email protected]> | |||||
| * | hir_def: move visibility queries from hir_ty to hir_def | cynecx | 2021-03-24 | 2 | -1/+38 | |
| | | ||||||
* | | Merge bang-macros and derives in name resolution | Jonas Schievink | 2021-03-23 | 1 | -86/+79 | |
| | | ||||||
* | | resolver: manually traverse nested block scopes | Jonas Schievink | 2021-03-22 | 3 | -5/+32 | |
| | |