aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | Add commentFlorian Diebold2021-04-041-0/+3
| | | | | |
* | | | | | Replace Substitution::type_paramsFlorian Diebold2021-04-046-16/+15
| | | | | |
* | | | | | Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-047-54/+42
| | | | | |
* | | | | | Move TyBuilder to its own moduleFlorian Diebold2021-04-042-204/+221
| | | | | |
* | | | | | Replace last uses of SubstsBuilder by TyBuilderFlorian Diebold2021-04-044-64/+23
| | | | | |
* | | | | | Remove CallableSig::from_substsFlorian Diebold2021-04-041-11/+1
| | | | | |
* | | | | | Use TyBuilder in another placeFlorian Diebold2021-04-041-4/+3
| | | | | |
* | | | | | Some more TyBuilder useFlorian Diebold2021-04-042-33/+25
| | | | | |
* | | | | | Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-046-21/+46
| | | | | |
* | | | | | More TyBuilder useFlorian Diebold2021-04-041-12/+9
| | | | | |
* | | | | | More TyBuilder useFlorian Diebold2021-04-041-23/+15
| | | | | |
* | | | | | Add and start using TraitRef and ProjectionTy buildersFlorian Diebold2021-04-046-39/+48
| | | | | |
* | | | | | Move Ty::builtin to TyBuilderFlorian Diebold2021-04-043-20/+20
| | | | | |
* | | | | | Add TyBuilder::adtFlorian Diebold2021-04-044-45/+104
| | | | | |
* | | | | | Move Ty::fn_ptr to TyBuilderFlorian Diebold2021-04-042-11/+12
| | | | | |
* | | | | | Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-047-25/+39
| | | | | |
* | | | | | Add TyBuilderFlorian Diebold2021-04-041-0/+6
| |/ / / / |/| | | |
* | | | | 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-044-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 methodJonas Schievink2021-04-044-5/+14
| | | | | |
* | | | | | Use exhaustive matches in shrink_to_fit implsJonas Schievink2021-04-042-13/+38
|/ / / / /
* | | | | Make `ast_to_token_tree` infallibleJonas Schievink2021-04-0411-41/+32
| | | | | | | | | | | | | | | | | | | | It could never return `None`, so reflect that in the return type
* | | | | Glob-reexport hir_def database typesJonas Schievink2021-04-041-9/+1
| | | | |
* | | | | Use shrink_to_fit to reduce DefMap sizesJonas Schievink2021-04-033-1/+25
| | | | |
* | | | | Use bitflags to compress function propertiesJonas Schievink2021-04-0310-71/+119
| | | | | | | | | | | | | | | | | | | | Very minor savings, only 1 MB or so
* | | | | Intern `ModPath` in `Import`Jonas Schievink2021-04-033-4/+8
| |/ / / |/| | | | | | | | | | | Minor savings only
* | | | Rename Ty::interned to Ty::kindFlorian Diebold2021-04-0317-75/+73
| | | | | | | | | | | | | | | | ... since that's the actual method on Chalk side that matches the signature.
* | | | Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-0317-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 fileEdwin Cheng2021-04-033-3/+33
| | | |
* | | | Fix joinLines panic if run on the empty last lineEdwin Cheng2021-04-031-2/+16
| | | |
* | | | Support `#[rustc_builtin_macro = "builtin_name"]`Jonas Schievink2021-04-031-1/+11
| | | |
* | | | Implement edition-dependent builtin `panic!` macroJonas Schievink2021-04-033-2/+26
| | | |
* | | | Allow `,` to delimit macro 2.0 rulesJonas Schievink2021-04-033-2/+30
| | | |
* | | | 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-022-14/+58
| | | |
* | | | Merge #8284bors[bot]2021-04-0214-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` implsJonas Schievink2021-04-021-3/+5
| | | | |
| * | | | Split `Intern::drop` into hot and cold pathJonas Schievink2021-04-021-16/+23
| | | | |
| * | | | Remove unnecessary region, relax `Sized` boundsJonas Schievink2021-04-011-16/+12
| | | | |
| * | | | Intern Attr, MacroCall and Path componentsJonas Schievink2021-04-017-17/+21
| | | | |
| * | | | Global TypeRef/TraitRef interningJonas Schievink2021-04-0110-120/+204
| | | | |
* | | | | Merge #8291bors[bot]2021-04-021-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 messageJade2021-04-021-1/+1
| | | | | |
* | | | | | Merge #8287bors[bot]2021-04-021-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 Wirth2021-04-021-36/+33
| | | | | | |
* | | | | | | minor: add profile call for resolve_obligationsAleksey Kladov2021-04-021-0/+2
| |_|_|/ / / |/| | | | |
* | | | | | Merge #8285bors[bot]2021-04-024-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]>