aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/utils.rs
Commit message (Collapse)AuthorAgeFilesLines
* 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