| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |