Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reorganize hir_ty modules | Florian Diebold | 2021-04-09 | 1 | -421/+0 |
| | | | | | Chalk isn't really a 'traits' thing anymore, so it doesn't make sense to have all the Chalk-related stuff in submodules of `traits`. | ||||
* | Cleanup | Florian Diebold | 2021-04-08 | 1 | -23/+14 |
| | |||||
* | Intern Variances | Florian Diebold | 2021-04-08 | 1 | -2/+3 |
| | | | | This may be a slight performance improvement. | ||||
* | Don't intern ProgramClause at all | Florian Diebold | 2021-04-08 | 1 | -2/+2 |
| | | | | This seems to work best performance/memory-wise. | ||||
* | Intern QuantifiedWhereClauses | Florian Diebold | 2021-04-08 | 1 | -2/+3 |
| | | | | Slight performance and memory usage improvement. | ||||
* | Intern ProgramClauses | Florian Diebold | 2021-04-08 | 1 | -2/+3 |
| | |||||
* | Intern CanonicalVarKinds | Florian Diebold | 2021-04-08 | 1 | -2/+3 |
| | | | | Slight savings in performance and memory. | ||||
* | Intern consts & lifetimes | Florian Diebold | 2021-04-08 | 1 | -6/+19 |
| | | | | Slight memory usage reduction. | ||||
* | Intern types | Florian Diebold | 2021-04-08 | 1 | -3/+7 |
| | | | | Performance about the same, memory reduced by ~5%. | ||||
* | Intern Substitutions | Florian Diebold | 2021-04-08 | 1 | -8/+15 |
| | | | | (Costs a bit of performance, reduces memory usage on RA by ~10%.) | ||||
* | Intern VariableKinds | Florian Diebold | 2021-04-08 | 1 | -4/+14 |
| | |||||
* | Use more assoc. type aliases in the chalk interner | Jonas Schievink | 2021-04-05 | 1 | -22/+21 |
| | | | | Makes it sligthly easier to swap out these types | ||||
* | Use SmallVec for Substs | Florian Diebold | 2021-03-15 | 1 | -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::FnDefId | Florian Diebold | 2021-03-13 | 1 | -1/+0 |
| | |||||
* | Use chalk_ir::ForeignDefId | Florian Diebold | 2021-03-13 | 1 | -1/+0 |
| | |||||
* | Update crates | kjeremy | 2021-02-08 | 1 | -2/+3 |
| | | | | Pulls in https://github.com/rust-lang/chalk/pull/682 | ||||
* | Upgrade Chalk | Florian Diebold | 2020-12-07 | 1 | -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 pubs | Aleksey Kladov | 2020-11-02 | 1 | -15/+15 |
| | |||||
* | Upgrade Chalk to 0.36 | Florian Diebold | 2020-10-30 | 1 | -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 Lew | 2020-09-15 | 1 | -0/+1 |
| | |||||
* | Tweak interner for chalk | Nathan Whitaker | 2020-09-09 | 1 | -9/+9 |
| | |||||
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+383 |