aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/utils.rs
Commit message (Expand)AuthorAgeFilesLines
* infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-061-12/+1
* 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
* Intern more `TypeRef`s in genericsJonas Schievink2021-04-051-5/+4
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-2/+22
* Fix chalk_ir assertionFlorian Diebold2021-03-241-2/+6
* Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-1/+1
* 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