Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove unused | Florian Diebold | 2021-04-08 | 1 | -13/+1 |
| | |||||
* | Fix shifted_{in,out} calls | Florian Diebold | 2021-04-08 | 1 | -2/+2 |
| | |||||
* | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 1 | -1/+3 |
| | |||||
* | infer: remove `record_field_resolutions` field | Jonas Schievink | 2021-04-06 | 1 | -12/+1 |
| | | | | | It stores no useful data, since we can derive all fields from `variant_resolutions` | ||||
* | Rename shift_bound_vars{_out} to align with Chalk | Florian Diebold | 2021-04-05 | 1 | -3/+7 |
| | |||||
* | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 1 | -1/+1 |
| | |||||
* | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 1 | -1/+1 |
| | |||||
* | Intern `GenericParams` | Jonas Schievink | 2021-04-05 | 1 | -1/+2 |
| | | | | | Also share the same instance between `ItemTree` and `generic_params` query. | ||||
* | Intern more `TypeRef`s in generics | Jonas Schievink | 2021-04-05 | 1 | -5/+4 |
| | | | | Saves ~3 MB | ||||
* | 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 |