Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More robust status notifications | Aleksey Kladov | 2021-04-06 | 11 | -150/+165 |
* | Prepare for more stateless status reporting | Aleksey Kladov | 2021-04-06 | 2 | -35/+36 |
* | Use autoreload config to gate execution rather that staleness | Aleksey Kladov | 2021-04-06 | 2 | -7/+8 |
* | Avoid duplicate `cargo check`s | Aleksey Kladov | 2021-04-06 | 1 | -1/+12 |
* | Improve readability | Aleksey Kladov | 2021-04-06 | 1 | -29/+28 |
* | internal: do not drop errors from cargo metadata/check | Aleksey Kladov | 2021-04-06 | 4 | -51/+60 |
* | Merge #8359 | bors[bot] | 2021-04-06 | 13 | -42/+66 |
|\ | |||||
| * | Use a constructor function for Static lifetimes | Lukas Wirth | 2021-04-06 | 6 | -49/+37 |
| * | Always use Static lifetimes in chalk mapping | Lukas Wirth | 2021-04-06 | 1 | -1/+2 |
| * | Add Lifetime to DynTy | Lukas Wirth | 2021-04-06 | 3 | -1/+5 |
| * | Add Lifetime to TyKind::Ref | Lukas Wirth | 2021-04-06 | 13 | -43/+74 |
|/ | |||||
* | Merge #8360 | bors[bot] | 2021-04-05 | 4 | -10/+23 |
|\ | |||||
| * | Fix shifting of binders in FnPointer | Florian Diebold | 2021-04-05 | 4 | -10/+23 |
* | | Merge #8358 | bors[bot] | 2021-04-05 | 9 | -40/+86 |
|\| | |||||
| * | Align FnPointer with Chalk | Florian Diebold | 2021-04-05 | 9 | -40/+86 |
|/ | |||||
* | Merge #8356 | bors[bot] | 2021-04-05 | 11 | -112/+108 |
|\ | |||||
| * | Substitution::prefix -> subst_prefix | Florian Diebold | 2021-04-05 | 4 | -11/+15 |
| * | Get rid of Substitution::suffix | Florian Diebold | 2021-04-05 | 2 | -10/+6 |
| * | Remove some unused methods, move some to types.rs | Florian Diebold | 2021-04-05 | 2 | -29/+15 |
| * | Binders::wrap_empty -> wrap_empty_binders | Florian Diebold | 2021-04-05 | 3 | -16/+12 |
| * | Substitution::single -> from1 | Florian Diebold | 2021-04-05 | 4 | -14/+17 |
| * | Move ProjectionTy methods to extension trait | Florian Diebold | 2021-04-05 | 7 | -32/+43 |
|/ | |||||
* | Merge #8353 | bors[bot] | 2021-04-05 | 4 | -18/+50 |
|\ | |||||
| * | Replace unused hir_ty::Lifetime with chalk equivalents | Lukas Wirth | 2021-04-05 | 4 | -18/+50 |
* | | Merge #8352 | bors[bot] | 2021-04-05 | 1 | -9/+3 |
|\ \ | |||||
| * | | Remove dead legacy macro expansion code | Brandon | 2021-04-05 | 1 | -9/+3 |
* | | | Merge #8351 | bors[bot] | 2021-04-05 | 1 | -22/+21 |
|\ \ \ | |_|/ |/| | | |||||
| * | | Use more assoc. type aliases in the chalk interner | Jonas Schievink | 2021-04-05 | 1 | -22/+21 |
* | | | Merge #8350 | bors[bot] | 2021-04-05 | 3 | -13/+24 |
|\ \ \ | |/ / |/| | | |||||
| * | | internal: prepare to store OpQueue results in the queue itself | Aleksey Kladov | 2021-04-05 | 3 | -13/+24 |
* | | | Merge #8348 | bors[bot] | 2021-04-05 | 20 | -228/+296 |
|\ \ \ | |||||
| * | | | Rename shift_bound_vars{_out} to align with Chalk | Florian Diebold | 2021-04-05 | 5 | -25/+32 |
| * | | | Get rid of subst_bound_vars uses | Florian Diebold | 2021-04-05 | 3 | -5/+9 |
| * | | | Get rid of some walk_mut uses | Florian Diebold | 2021-04-05 | 2 | -10/+15 |
| * | | | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 14 | -43/+52 |
| * | | | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 14 | -39/+39 |
| * | | | Use VariableKinds in Binders | Florian Diebold | 2021-04-05 | 7 | -84/+107 |
| * | | | Hide Binders internals more | Florian Diebold | 2021-04-05 | 11 | -88/+108 |
* | | | | Merge #8347 | bors[bot] | 2021-04-05 | 1 | -4/+15 |
|\ \ \ \ | |/ / / |/| | | | |||||
| * | | | `Interned<T>`: Only hash the pointer | Jonas Schievink | 2021-04-05 | 1 | -2/+8 |
| * | | | Make `impl_internable!` macro public | Jonas Schievink | 2021-04-05 | 1 | -2/+7 |
| |/ / | |||||
* | | | Merge #8346 | bors[bot] | 2021-04-05 | 4 | -5/+5 |
|\ \ \ | |||||
| * | | | Use arrayvec 0.7 to avoid perf regression in 0.6.1 | kjeremy | 2021-04-05 | 4 | -5/+5 |
|/ / / | |||||
* | | | Merge #8344 | bors[bot] | 2021-04-05 | 5 | -26/+30 |
|\ \ \ | |/ / |/| | | |||||
| * | | Pass interner to TraitRef::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 4 | -20/+24 |
| * | | Pass interner to ProjectionTy::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 4 | -7/+7 |
|/ / | |||||
* | | Merge #8343 | bors[bot] | 2021-04-05 | 1 | -0/+28 |
|\ \ | |||||
| * | | internal: document hypothetical completion problem | Aleksey Kladov | 2021-04-05 | 1 | -0/+28 |
* | | | Merge #8342 | bors[bot] | 2021-04-05 | 14 | -58/+58 |
|\ \ \ | |/ / |/| | | |||||
| * | | Rename TyKind::ForeignType to Foreign | Laurențiu Nicola | 2021-04-05 | 7 | -10/+10 |