aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Intern typesFlorian Diebold2021-04-081-3/+7
* Intern SubstitutionsFlorian Diebold2021-04-087-26/+33
* Intern VariableKindsFlorian Diebold2021-04-081-4/+14
* Remove unusedFlorian Diebold2021-04-0814-69/+20
* Replace `make_binders` by the now equivalent `make_only_type_binders`Florian Diebold2021-04-082-35/+22
* Remove identity impls for ToChalkFlorian Diebold2021-04-084-215/+21
* Fix `Canonicalized::apply_solution`Florian Diebold2021-04-081-13/+16
* Fix missing match armsFlorian Diebold2021-04-084-2/+20
* Fix remaining `interned_mut` callFlorian Diebold2021-04-081-4/+6
* Replace remaining `fold` callsFlorian Diebold2021-04-083-59/+104
* Replace some `fold` callsFlorian Diebold2021-04-084-47/+53
* Fix shifted_{in,out} callsFlorian Diebold2021-04-085-11/+11
* Fix subst_prefixFlorian Diebold2021-04-081-1/+4
* Get rid of walk_mut [not compiling]Florian Diebold2021-04-081-272/+0
* Fix TyBuilder methodsFlorian Diebold2021-04-081-5/+5
* Impl Fold for CallableSigFlorian Diebold2021-04-081-0/+18
* Add HasInterner boundsFlorian Diebold2021-04-086-14/+35
* Allow unusedFlorian Diebold2021-04-081-0/+3
* Remove obsolete Cast implsFlorian Diebold2021-04-081-47/+0
* Make ToChalk implementations identityFlorian Diebold2021-04-082-272/+42
* 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