aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Move ProjectionTy methods to extension traitFlorian Diebold2021-04-057-32/+43
* Merge #8353bors[bot]2021-04-054-18/+50
|\
| * Replace unused hir_ty::Lifetime with chalk equivalentsLukas Wirth2021-04-054-18/+50
* | Use more assoc. type aliases in the chalk internerJonas Schievink2021-04-051-22/+21
|/
* Rename shift_bound_vars{_out} to align with ChalkFlorian Diebold2021-04-055-25/+32
* Get rid of subst_bound_vars usesFlorian Diebold2021-04-053-5/+9
* Get rid of some walk_mut usesFlorian Diebold2021-04-052-10/+15
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-0511-37/+44
* Binders::subst -> substituteFlorian Diebold2021-04-0511-34/+34
* Use VariableKinds in BindersFlorian Diebold2021-04-057-84/+107
* Hide Binders internals moreFlorian Diebold2021-04-059-84/+104
* Pass interner to TraitRef::self_type_parameterLaurențiu Nicola2021-04-054-20/+24
* Pass interner to ProjectionTy::self_type_parameterLaurențiu Nicola2021-04-054-7/+7
* Rename TyKind::ForeignType to ForeignLaurențiu Nicola2021-04-056-9/+9
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-0513-47/+47
* Intern `GenericParams`Jonas Schievink2021-04-051-1/+2
* Intern more `TypeRef`s in genericsJonas Schievink2021-04-051-5/+4
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-0411-107/+103
* Move things in hir_ty into submodulesFlorian Diebold2021-04-0410-706/+750
* Add commentFlorian Diebold2021-04-041-0/+3
* Replace Substitution::type_paramsFlorian Diebold2021-04-044-12/+11
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-047-54/+42
* Move TyBuilder to its own moduleFlorian Diebold2021-04-042-204/+221
* Replace last uses of SubstsBuilder by TyBuilderFlorian Diebold2021-04-044-64/+23
* Remove CallableSig::from_substsFlorian Diebold2021-04-041-11/+1
* Use TyBuilder in another placeFlorian Diebold2021-04-041-4/+3
* Some more TyBuilder useFlorian Diebold2021-04-042-33/+25
* Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-045-18/+44
* More TyBuilder useFlorian Diebold2021-04-041-12/+9
* More TyBuilder useFlorian Diebold2021-04-041-23/+15
* Add and start using TraitRef and ProjectionTy buildersFlorian Diebold2021-04-044-22/+39
* Move Ty::builtin to TyBuilderFlorian Diebold2021-04-042-18/+18
* Add TyBuilder::adtFlorian Diebold2021-04-044-45/+104
* Move Ty::fn_ptr to TyBuilderFlorian Diebold2021-04-042-11/+12
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-047-25/+39
* Add TyBuilderFlorian Diebold2021-04-041-0/+6
* Access a body's block def maps via a methodJonas Schievink2021-04-042-3/+2
* Use bitflags to compress function propertiesJonas Schievink2021-04-034-6/+6
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-0316-62/+60
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-0316-152/+301
* Merge #8284bors[bot]2021-04-021-1/+1
|\
| * Global TypeRef/TraitRef interningJonas Schievink2021-04-011-1/+1
* | Merge #8287bors[bot]2021-04-021-36/+33
|\ \
| * | Don't allocate in `associated_type_shorthand_candidates`Lukas Wirth2021-04-021-36/+33
* | | minor: add profile call for resolve_obligationsAleksey Kladov2021-04-021-0/+2
* | | Merge #8285bors[bot]2021-04-024-8/+26
|\ \ \ | |/ / |/| |
| * | Don't recheck obligations if we have learned nothing newFlorian Diebold2021-04-014-8/+26
| |/
* | Merge #8283bors[bot]2021-04-011-1/+1
|\ \ | |/ |/|
| * Resolve associated types with type anchorsLukas Wirth2021-04-011-1/+1
* | Fix block inner item defined in macroEdwin Cheng2021-03-311-0/+26
|/