aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/utils.rs
Commit message (Collapse)AuthorAgeFilesLines
* Move hir_trait_id to extension traitFlorian Diebold2021-04-071-1/+3
|
* infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-061-12/+1
| | | | | It stores no useful data, since we can derive all fields from `variant_resolutions`
* Rename shift_bound_vars{_out} to align with ChalkFlorian Diebold2021-04-051-3/+7
|
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-1/+1
|
* Binders::subst -> substituteFlorian Diebold2021-04-051-1/+1
|
* Intern `GenericParams`Jonas Schievink2021-04-051-1/+2
| | | | | Also share the same instance between `ItemTree` and `generic_params` query.
* Intern more `TypeRef`s in genericsJonas Schievink2021-04-051-5/+4
| | | | Saves ~3 MB
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-2/+22
|
* Fix chalk_ir assertionFlorian Diebold2021-03-241-2/+6
| | | | Fixes #8150.
* Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-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 -> WhereClauseFlorian Diebold2021-03-201-2/+2
|
* Chalkify TraitRefFlorian Diebold2021-03-181-5/+5
|
* Stop using `ContainerId` in `AssocContainerId`Jonas Schievink2021-03-091-1/+1
|
* Higher-ranked trait bounds for where clausesLukas Wirth2020-12-171-3/+6
|
* Add Lifetimes to the HIRLukas Wirth2020-12-111-10/+14
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+257