| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rework obligation handling | Florian Diebold | 2021-05-21 | 1 | -3/+3 |
| | | | | | | | | | We can't do the easy hack that we did before anymore, where we kept track of whether any inference variables changed since the last time we rechecked obligations. Instead, we store the obligations in canonicalized form; that way we can easily check the inference variables to see whether they have changed since the goal was canonicalized. | ||||
| * | Remove our unification code, use Chalk's instead | Florian Diebold | 2021-05-21 | 1 | -2/+2 |
| | | |||||
| * | Handle cycles in generic_defaults more gracefully | Florian Diebold | 2021-04-29 | 1 | -0/+1 |
| | | |||||
| * | 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 |