aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk/interner.rs
Commit message (Collapse)AuthorAgeFilesLines
* CleanupFlorian Diebold2021-04-081-23/+14
|
* Intern VariancesFlorian Diebold2021-04-081-2/+3
| | | | This may be a slight performance improvement.
* Don't intern ProgramClause at allFlorian Diebold2021-04-081-2/+2
| | | | This seems to work best performance/memory-wise.
* Intern QuantifiedWhereClausesFlorian Diebold2021-04-081-2/+3
| | | | Slight performance and memory usage improvement.
* Intern ProgramClausesFlorian Diebold2021-04-081-2/+3
|
* Intern CanonicalVarKindsFlorian Diebold2021-04-081-2/+3
| | | | Slight savings in performance and memory.
* Intern consts & lifetimesFlorian Diebold2021-04-081-6/+19
| | | | Slight memory usage reduction.
* Intern typesFlorian Diebold2021-04-081-3/+7
| | | | Performance about the same, memory reduced by ~5%.
* Intern SubstitutionsFlorian Diebold2021-04-081-8/+15
| | | | (Costs a bit of performance, reduces memory usage on RA by ~10%.)
* Intern VariableKindsFlorian Diebold2021-04-081-4/+14
|
* Use more assoc. type aliases in the chalk internerJonas Schievink2021-04-051-22/+21
| | | | Makes it sligthly easier to swap out these types
* Use SmallVec for SubstsFlorian Diebold2021-03-151-3/+4
| | | | | Doesn't help as much as I hoped, but it helps a bit and I also did some refactorings that were necessary anyway.
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-1/+0
|
* Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-131-1/+0
|
* Update crateskjeremy2021-02-081-2/+3
| | | | Pulls in https://github.com/rust-lang/chalk/pull/682
* Upgrade ChalkFlorian Diebold2020-12-071-0/+16
| | | | | | | Also make overflow depth and max type size configurable through env variables. This can be helpful at least for debugging. Fixes #6628.
* Remove more unreachable pubsAleksey Kladov2020-11-021-15/+15
|
* Upgrade Chalk to 0.36Florian Diebold2020-10-301-7/+0
| | | | Quite a few changes, because Chalk got rid of the `ApplicationTy` nesting.
* Update chalk to 0.27 and adapt to chalk changes.Charles Lew2020-09-151-0/+1
|
* Tweak interner for chalkNathan Whitaker2020-09-091-9/+9
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+383