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