aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | Use autoreload config to gate execution rather that stalenessAleksey Kladov2021-04-062-7/+8
| * | | | | | Avoid duplicate `cargo check`sAleksey Kladov2021-04-061-1/+12
| * | | | | | Improve readabilityAleksey Kladov2021-04-061-29/+28
| * | | | | | internal: do not drop errors from cargo metadata/checkAleksey Kladov2021-04-064-51/+60
* | | | | | | Merge #8366bors[bot]2021-04-0612-45/+109
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-0612-45/+109
|/ / / / / /
* | | | | | Merge #8359bors[bot]2021-04-0613-42/+66
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | 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-0613-43/+74
|/ / / / /
* | | | | Merge #8360bors[bot]2021-04-054-10/+23
|\ \ \ \ \
| * | | | | Fix shifting of binders in FnPointerFlorian Diebold2021-04-054-10/+23
* | | | | | Merge #8358bors[bot]2021-04-059-40/+86
|\| | | | |
| * | | | | Align FnPointer with ChalkFlorian Diebold2021-04-059-40/+86
|/ / / / /
* | | | | Merge #8356bors[bot]2021-04-0511-112/+108
|\ \ \ \ \
| * | | | | Substitution::prefix -> subst_prefixFlorian Diebold2021-04-054-11/+15
| * | | | | 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
* | | | | Merge #8352bors[bot]2021-04-051-9/+3
|\ \ \ \ \
| * | | | | Remove dead legacy macro expansion codeBrandon2021-04-051-9/+3
* | | | | | Merge #8351bors[bot]2021-04-051-22/+21
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| * | | | | Use more assoc. type aliases in the chalk internerJonas Schievink2021-04-051-22/+21
* | | | | | Merge #8350bors[bot]2021-04-053-13/+24
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | internal: prepare to store OpQueue results in the queue itselfAleksey Kladov2021-04-053-13/+24
* | | | | | Merge #8348bors[bot]2021-04-0520-228/+296
|\ \ \ \ \ \
| * | | | | | 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-0514-43/+52
| * | | | | | Binders::subst -> substituteFlorian Diebold2021-04-0514-39/+39
| * | | | | | Use VariableKinds in BindersFlorian Diebold2021-04-057-84/+107
| * | | | | | Hide Binders internals moreFlorian Diebold2021-04-0511-88/+108
* | | | | | | Merge #8347bors[bot]2021-04-051-4/+15
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | `Interned<T>`: Only hash the pointerJonas Schievink2021-04-051-2/+8
| * | | | | | Make `impl_internable!` macro publicJonas Schievink2021-04-051-2/+7
| |/ / / / /
* | | | | | Merge #8346bors[bot]2021-04-054-5/+5
|\ \ \ \ \ \
| * | | | | | Use arrayvec 0.7 to avoid perf regression in 0.6.1kjeremy2021-04-054-5/+5
|/ / / / / /
* | | | | | Merge #8344bors[bot]2021-04-055-26/+30
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | 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
|/ / / / /
* | | | | Merge #8343bors[bot]2021-04-051-0/+28
|\ \ \ \ \
| * | | | | internal: document hypothetical completion problemAleksey Kladov2021-04-051-0/+28
* | | | | | Merge #8342bors[bot]2021-04-0514-58/+58
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | Rename TyKind::ForeignType to ForeignLaurențiu Nicola2021-04-057-10/+10
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-20 06:08:37 +0000