aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty
Commit message (Expand)AuthorAgeFilesLines
...
* Remove Ty::substs{_mut}Florian Diebold2021-04-074-41/+24
* Free Ty::def_cratesLukas Wirth2021-04-071-54/+52
* Move Ty::builtin_derefLukas Wirth2021-04-072-9/+9
* Merge #8394bors[bot]2021-04-072-33/+70
|\
| * Infer variants through type aliased enumsLukas Wirth2021-04-072-33/+70
* | Collect trait impls inside unnamed constsJonas Schievink2021-04-072-19/+57
* | Remove `SolutionVariables`, add ConstrainedSubst analogous to ChalkFlorian Diebold2021-04-066-29/+49
* | Align `InferenceVar` to ChalkFlorian Diebold2021-04-064-34/+48
* | Clean up Chalk mapping a bitFlorian Diebold2021-04-061-69/+37
* | infer: remove `record_pat_field_resolutions` fieldJonas Schievink2021-04-062-11/+1
|/
* Merge #8371bors[bot]2021-04-061-32/+17
|\
| * Panic when creating a HirDisplayWrapper with DisplayTarget::SourceCodeLukas Wirth2021-04-061-1/+5
| * Don't use HirDisplayWrapper when displaying SourceCodeLukas Wirth2021-04-061-31/+12
* | infer: remove `record_field_resolutions` fieldJonas Schievink2021-04-066-34/+13
* | Merge #8364bors[bot]2021-04-062-4/+10
|\ \
| * | Use Box'es to reduce the size of hir_def::expr::Pat from 112 to 64 bytes on 6...Alexandru Macovei2021-04-061-2/+2
| * | Use Box'es to reduce size of hir_def::expr::Expr from 128 to 72 bytes (on 64b...Alexandru Macovei2021-04-061-2/+8
* | | Remove TyExt::dyn_trait_refLukas Wirth2021-04-061-10/+4
* | | Move Ty accessors to TyExtLukas Wirth2021-04-0612-224/+250
| |/ |/|
* | Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-0611-43/+107
* | Use a constructor function for Static lifetimesLukas Wirth2021-04-066-49/+37
* | Always use Static lifetimes in chalk mappingLukas Wirth2021-04-061-1/+2
* | Add Lifetime to DynTyLukas Wirth2021-04-063-1/+5
* | Add Lifetime to TyKind::RefLukas Wirth2021-04-0612-39/+66
|/
* Fix shifting of binders in FnPointerFlorian Diebold2021-04-054-10/+23
* Align FnPointer with ChalkFlorian Diebold2021-04-059-40/+86
* Substitution::prefix -> subst_prefixFlorian Diebold2021-04-053-10/+13
* Get rid of Substitution::suffixFlorian Diebold2021-04-052-10/+6
* Remove some unused methods, move some to types.rsFlorian Diebold2021-04-052-29/+15
* Binders::wrap_empty -> wrap_empty_bindersFlorian Diebold2021-04-053-16/+12
* Substitution::single -> from1Florian Diebold2021-04-054-14/+17
* 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
* Use arrayvec 0.7 to avoid perf regression in 0.6.1kjeremy2021-04-051-1/+1
* 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