Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #8382 | bors[bot] | 2021-04-06 | 2 | -60/+62 |
|\ | |||||
| * | Adjust fixture docs a bit | Kirill Bulatov | 2021-04-06 | 2 | -60/+62 |
* | | Remove `SolutionVariables`, add ConstrainedSubst analogous to Chalk | Florian Diebold | 2021-04-06 | 7 | -33/+53 |
* | | Merge #8386 | bors[bot] | 2021-04-06 | 4 | -10/+74 |
|\ \ | |||||
| * | | Avoid O(n²) when constructing AttrSourceMap | Jonas Schievink | 2021-04-06 | 4 | -10/+74 |
| |/ | |||||
* | | Align `InferenceVar` to Chalk | Florian Diebold | 2021-04-06 | 4 | -34/+48 |
* | | Clean up Chalk mapping a bit | Florian Diebold | 2021-04-06 | 1 | -69/+37 |
|/ | |||||
* | Lower attributes on tuple fields | Jonas Schievink | 2021-04-06 | 1 | -5/+4 |
* | infer: remove `record_pat_field_resolutions` field | Jonas Schievink | 2021-04-06 | 3 | -15/+9 |
* | Merge #8371 | bors[bot] | 2021-04-06 | 1 | -32/+17 |
|\ | |||||
| * | Panic when creating a HirDisplayWrapper with DisplayTarget::SourceCode | Lukas Wirth | 2021-04-06 | 1 | -1/+5 |
| * | Don't use HirDisplayWrapper when displaying SourceCode | Lukas Wirth | 2021-04-06 | 1 | -31/+12 |
* | | infer: remove `record_field_resolutions` field | Jonas Schievink | 2021-04-06 | 8 | -40/+35 |
* | | Merge #8375 | bors[bot] | 2021-04-06 | 5 | -42/+110 |
|\ \ | |||||
| * | | feat: show errors from `cargo metadata` and initial `cargo check` in the stat... | Aleksey Kladov | 2021-04-06 | 3 | -13/+63 |
| * | | Clearer naming | Aleksey Kladov | 2021-04-06 | 3 | -29/+47 |
* | | | Intern TypeRefs stored in Body | Jonas Schievink | 2021-04-06 | 2 | -8/+12 |
* | | | Merge #8364 | bors[bot] | 2021-04-06 | 7 | -33/+53 |
|\ \ \ | |||||
| * | | | Avoid duplicating VfsPath in vfs::path_interner::PathInterner by using an Ind... | Alexandru Macovei | 2021-04-06 | 2 | -13/+17 |
| * | | | Use Box'es to reduce the size of hir_def::expr::Pat from 112 to 64 bytes on 6... | Alexandru Macovei | 2021-04-06 | 4 | -8/+14 |
| * | | | Use Box'es to reduce size of hir_def::expr::Expr from 128 to 72 bytes (on 64b... | Alexandru Macovei | 2021-04-06 | 3 | -12/+22 |
* | | | | Merge #8368 | bors[bot] | 2021-04-06 | 14 | -226/+246 |
|\ \ \ \ | |||||
| * | | | | Remove TyExt::dyn_trait_ref | Lukas Wirth | 2021-04-06 | 1 | -10/+4 |
| * | | | | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 14 | -226/+252 |
| | |_|/ | |/| | | |||||
* | | | | Merge #8355 | bors[bot] | 2021-04-06 | 8 | -194/+226 |
|\ \ \ \ | |/ / / |/| | / | | |/ | |/| | |||||
| * | | More robust status notifications | Aleksey Kladov | 2021-04-06 | 7 | -108/+119 |
| * | | 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 |
* | | | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 12 | -45/+109 |
|/ / | |||||
* | | 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 |
|/ | |||||
* | Fix shifting of binders in FnPointer | Florian Diebold | 2021-04-05 | 4 | -10/+23 |
* | Align FnPointer with Chalk | Florian Diebold | 2021-04-05 | 9 | -40/+86 |
* | 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 |