Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 1 | -2/+22 |
| | |||||
* | Fix chalk_ir assertion | Florian Diebold | 2021-03-24 | 1 | -2/+6 |
| | | | | Fixes #8150. | ||||
* | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 1 | -1/+1 |
| | | | | | Still far too much binder skipping going on; I find it hard to imagine this is all correct, but the tests pass. | ||||
* | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 1 | -2/+2 |
| | |||||
* | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 1 | -5/+5 |
| | |||||
* | Stop using `ContainerId` in `AssocContainerId` | Jonas Schievink | 2021-03-09 | 1 | -1/+1 |
| | |||||
* | Higher-ranked trait bounds for where clauses | Lukas Wirth | 2020-12-17 | 1 | -3/+6 |
| | |||||
* | Add Lifetimes to the HIR | Lukas Wirth | 2020-12-11 | 1 | -10/+14 |
| | |||||
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+257 |