aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/path.rs
Commit message (Expand)AuthorAgeFilesLines
* Get rid of resolve_ty_as_possibleFlorian Diebold2021-05-211-1/+1
* Rework obligation handlingFlorian Diebold2021-05-211-1/+1
* Remove our unification code, use Chalk's insteadFlorian Diebold2021-05-211-1/+1
* Intern SubstitutionsFlorian Diebold2021-04-081-1/+1
* Move hir_trait_id to extension traitFlorian Diebold2021-04-071-1/+2
* Move Ty accessors to TyExtLukas Wirth2021-04-061-1/+3
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-3/+4
* Binders::subst -> substituteFlorian Diebold2021-04-051-3/+3
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-051-2/+2
* 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