aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/path.rs
Commit message (Expand)AuthorAgeFilesLines
* Move things in hir_ty into submodulesFlorian Diebold2021-04-041-1/+1
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-1/+1
* Replace last uses of SubstsBuilder by TyBuilderFlorian Diebold2021-04-041-4/+1
* Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-041-1/+1
* Add and start using TraitRef and ProjectionTy buildersFlorian Diebold2021-04-041-12/+4
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-2/+2
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-3/+3
* Don't recheck obligations if we have learned nothing newFlorian Diebold2021-04-011-1/+1
* hir_ty: introduce visible_from_module param into method resolutioncynecx2021-03-201-0/+1
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-4/+8
* Chalkify TraitRefFlorian Diebold2021-03-181-5/+7
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-10/+10
* Move type lowering methods to TyLoweringContextFlorian Diebold2021-03-131-5/+5
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-1/+1
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-3/+3
* Stop using `ContainerId` in `AssocContainerId`Jonas Schievink2021-03-091-1/+1
* Add ConstParams to the HIRLukas Wirth2021-01-011-0/+1
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+287