Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Replace Substitution::type_params | Florian Diebold | 2021-04-04 | 6 | -16/+15 |
| | |||||
* | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 7 | -54/+42 |
| | |||||
* | Move TyBuilder to its own module | Florian Diebold | 2021-04-04 | 2 | -204/+221 |
| | |||||
* | Replace last uses of SubstsBuilder by TyBuilder | Florian Diebold | 2021-04-04 | 4 | -64/+23 |
| | |||||
* | Remove CallableSig::from_substs | Florian Diebold | 2021-04-04 | 1 | -11/+1 |
| | |||||
* | Use TyBuilder in another place | Florian Diebold | 2021-04-04 | 1 | -4/+3 |
| | |||||
* | Some more TyBuilder use | Florian Diebold | 2021-04-04 | 2 | -33/+25 |
| | |||||
* | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 6 | -21/+46 |
| | |||||
* | More TyBuilder use | Florian Diebold | 2021-04-04 | 1 | -12/+9 |
| | |||||
* | More TyBuilder use | Florian Diebold | 2021-04-04 | 1 | -23/+15 |
| | |||||
* | Add and start using TraitRef and ProjectionTy builders | Florian Diebold | 2021-04-04 | 6 | -39/+48 |
| | |||||
* | Move Ty::builtin to TyBuilder | Florian Diebold | 2021-04-04 | 3 | -20/+20 |
| | |||||
* | Add TyBuilder::adt | Florian Diebold | 2021-04-04 | 4 | -45/+104 |
| | |||||
* | Move Ty::fn_ptr to TyBuilder | Florian Diebold | 2021-04-04 | 2 | -11/+12 |
| | |||||
* | Add TyBuilder::unit() and TyExt::is_unit() | Florian Diebold | 2021-04-04 | 7 | -25/+39 |
| | |||||
* | Add TyBuilder | Florian Diebold | 2021-04-04 | 1 | -0/+6 |
| | |||||
* | 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 | 4 | -5/+14 |
|\ | | | | | | | | | | | | | | | 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 | 4 | -5/+14 |
| | | |||||
* | | 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 | 11 | -41/+32 |
| | | | | It could never return `None`, so reflect that in the return type | ||||
* | Glob-reexport hir_def database types | Jonas Schievink | 2021-04-04 | 1 | -9/+1 |
| | |||||
* | 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 | 10 | -71/+119 |
| | | | | Very minor savings, only 1 MB or so | ||||
* | Intern `ModPath` in `Import` | Jonas Schievink | 2021-04-03 | 3 | -4/+8 |
| | | | | Minor savings only | ||||
* | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 17 | -75/+73 |
| | | | | ... since that's the actual method on Chalk side that matches the signature. | ||||
* | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 17 | -161/+323 |
| | | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters. | ||||
* | Allow include! an empty content file | Edwin Cheng | 2021-04-03 | 3 | -3/+33 |
| | |||||
* | Fix joinLines panic if run on the empty last line | Edwin Cheng | 2021-04-03 | 1 | -2/+16 |
| | |||||
* | Support `#[rustc_builtin_macro = "builtin_name"]` | Jonas Schievink | 2021-04-03 | 1 | -1/+11 |
| | |||||
* | Implement edition-dependent builtin `panic!` macro | Jonas Schievink | 2021-04-03 | 3 | -2/+26 |
| | |||||
* | Allow `,` to delimit macro 2.0 rules | Jonas Schievink | 2021-04-03 | 3 | -2/+30 |
| | |||||
* | 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 | 2 | -14/+58 |
| | |||||
* | Merge #8284 | bors[bot] | 2021-04-02 | 14 | -136/+229 |
|\ | | | | | | | | | | | | | | | 8284: Reduce memory usage by using global `Arc`-based interning r=jonas-schievink a=jonas-schievink This saves around 50 mb when running `analysis-stats` on r-a itself. Not a lot, but this infra can be easily reused to intern more stuff. Co-authored-by: Jonas Schievink <[email protected]> | ||||
| * | 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 | 10 | -120/+204 |
| | | |||||
* | | Merge #8291 | bors[bot] | 2021-04-02 | 1 | -1/+1 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 8291: Put the revision in the startup message r=jonas-schievink a=lf- Co-authored-by: Jade <[email protected]> | ||||
| * | | Put the revision in the logged startup message | Jade | 2021-04-02 | 1 | -1/+1 |
| | | | |||||
* | | | Merge #8287 | bors[bot] | 2021-04-02 | 1 | -36/+33 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8287: Don't allocate in `associated_type_shorthand_candidates` r=Veykril a=Veykril Co-authored-by: Lukas Wirth <[email protected]> | ||||
| * | | | Don't allocate in `associated_type_shorthand_candidates` | Lukas Wirth | 2021-04-02 | 1 | -36/+33 |
| | | | | |||||
* | | | | minor: add profile call for resolve_obligations | Aleksey Kladov | 2021-04-02 | 1 | -0/+2 |
| | | | | |||||
* | | | | Merge #8285 | bors[bot] | 2021-04-02 | 4 | -8/+26 |
|\ \ \ \ | |_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 8285: Don't recheck obligations if we have learned nothing new r=matklad a=flodiebold This is just the most trivial check: If no inference variables have been updated, and there are no new obligations, we can just skip trying to solve them again. We could be smarter about it, but this already helps quite a bit, and I don't want to touch this too much before we replace the inference table by Chalk's. Fixes #8263 (well, improves it quite a bit). Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | | | Don't recheck obligations if we have learned nothing new | Florian Diebold | 2021-04-01 | 4 | -8/+26 |
| | |/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | This is just the most trivial check: If no inference variables have been updated, and there are no new obligations, we can just skip trying to solve them again. We could be smarter about it, but this already helps quite a bit, and I don't want to touch this too much before we replace the inference table by Chalk's. Fixes #8263 (well, improves it quite a bit). |