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