| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Profile trait solving for all invocations | Kirill Bulatov | 2021-04-14 | 1 | -1/+18 |
| | | |||||
| * | More cleanups / module docs | Florian Diebold | 2021-04-09 | 1 | -1/+2 |
| | | |||||
| * | Move ToChalk -> mapping | Florian Diebold | 2021-04-09 | 1 | -3/+13 |
| | | |||||
| * | Reorganize hir_ty modules | Florian Diebold | 2021-04-09 | 1 | -26/+21 |
| | | | | | | 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`. | ||||
| * | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 1 | -0/+6 |
| | | |||||
| * | Replace unused hir_ty::Lifetime with chalk equivalents | Lukas Wirth | 2021-04-05 | 1 | -1/+7 |
| | | |||||
| * | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| | | |||||
| * | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 1 | -4/+7 |
| | | | | | | Still far too much binder skipping going on; I find it hard to imagine this is all correct, but the tests pass. | ||||
| * | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -1/+1 |
| | | | | | This includes starting to make use of Chalk's `Cast` trait. | ||||
| * | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 1 | -7/+4 |
| | | |||||
| * | Create TraitEnvironment through a query | Florian Diebold | 2021-03-13 | 1 | -0/+3 |
| | | |||||
| * | Use chalk_ir::OpaqueTyId | Florian Diebold | 2021-03-13 | 1 | -2/+2 |
| | | |||||
| * | Use chalk_ir::PlaceholderIndex | Florian Diebold | 2021-03-13 | 1 | -3/+3 |
| | | |||||
| * | Use chalk_ir::ClosureId | Florian Diebold | 2021-03-13 | 1 | -3/+3 |
| | | |||||
| * | Use chalk_ir::FnDefId | Florian Diebold | 2021-03-13 | 1 | -3/+3 |
| | | |||||
| * | Make two calls virtual | Laurențiu Nicola | 2021-03-05 | 1 | -1/+1 |
| | | |||||
| * | Remove map module from la-arena public API | Aramis Razzaghipour | 2021-01-15 | 1 | -1/+1 |
| | | | | | | | It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private. | ||||
| * | prepare to publish el libro de arena | Aleksey Kladov | 2021-01-14 | 1 | -1/+1 |
| | | |||||
| * | Add ConstParams to the HIR | Lukas Wirth | 2021-01-01 | 1 | -2/+5 |
| | | |||||
| * | Upgrade Chalk | Florian Diebold | 2020-12-07 | 1 | -0/+6 |
| | | | | | | | | Also make overflow depth and max type size configurable through env variables. This can be helpful at least for debugging. Fixes #6628. | ||||
| * | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+158 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |