aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty
Commit message (Expand)AuthorAgeFilesLines
* Replace all the types by their Chalk versionsFlorian Diebold2021-04-083-554/+32
* Merge #8409bors[bot]2021-04-0714-66/+73
|\
| * Fix return type of Substitution::internedFlorian Diebold2021-04-073-3/+3
| * InEnvironment::new takes a referenceFlorian Diebold2021-04-074-5/+5
| * Make Canonical::new a free-standing functionFlorian Diebold2021-04-071-10/+12
| * Fix return type of `self_type_parameter`Florian Diebold2021-04-074-10/+10
| * Move hir_trait_id to extension traitFlorian Diebold2021-04-0710-18/+25
| * Change TraitRef::hir_fmt_ext to free-standing functionFlorian Diebold2021-04-071-20/+18
* | Move `equals_ctor` to `TyExt`Florian Diebold2021-04-073-33/+37
|/
* 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