Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Allow unused | Florian Diebold | 2021-04-08 | 1 | -0/+3 | |
* | | Remove obsolete Cast impls | Florian Diebold | 2021-04-08 | 1 | -47/+0 | |
* | | Make ToChalk implementations identity | Florian Diebold | 2021-04-08 | 2 | -272/+42 | |
* | | Replace all the types by their Chalk versions | Florian Diebold | 2021-04-08 | 3 | -554/+32 | |
|/ | ||||||
* | Merge #8409 | bors[bot] | 2021-04-07 | 14 | -66/+73 | |
|\ | ||||||
| * | Fix return type of Substitution::interned | Florian Diebold | 2021-04-07 | 3 | -3/+3 | |
| * | InEnvironment::new takes a reference | Florian Diebold | 2021-04-07 | 4 | -5/+5 | |
| * | Make Canonical::new a free-standing function | Florian Diebold | 2021-04-07 | 1 | -10/+12 | |
| * | Fix return type of `self_type_parameter` | Florian Diebold | 2021-04-07 | 4 | -10/+10 | |
| * | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 10 | -18/+25 | |
| * | Change TraitRef::hir_fmt_ext to free-standing function | Florian Diebold | 2021-04-07 | 1 | -20/+18 | |
* | | Move `equals_ctor` to `TyExt` | Florian Diebold | 2021-04-07 | 3 | -33/+37 | |
|/ | ||||||
* | Remove Ty::substs{_mut} | Florian Diebold | 2021-04-07 | 4 | -41/+24 | |
* | Free Ty::def_crates | Lukas Wirth | 2021-04-07 | 1 | -54/+52 | |
* | Move Ty::builtin_deref | Lukas Wirth | 2021-04-07 | 2 | -9/+9 | |
* | Merge #8394 | bors[bot] | 2021-04-07 | 2 | -33/+70 | |
|\ | ||||||
| * | Infer variants through type aliased enums | Lukas Wirth | 2021-04-07 | 2 | -33/+70 | |
* | | Collect trait impls inside unnamed consts | Jonas Schievink | 2021-04-07 | 2 | -19/+57 | |
* | | Remove `SolutionVariables`, add ConstrainedSubst analogous to Chalk | Florian Diebold | 2021-04-06 | 6 | -29/+49 | |
* | | 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 | |
* | | infer: remove `record_pat_field_resolutions` field | Jonas Schievink | 2021-04-06 | 2 | -11/+1 | |
|/ | ||||||
* | 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 | 6 | -34/+13 | |
* | | Merge #8364 | bors[bot] | 2021-04-06 | 2 | -4/+10 | |
|\ \ | ||||||
| * | | Use Box'es to reduce the size of hir_def::expr::Pat from 112 to 64 bytes on 6... | Alexandru Macovei | 2021-04-06 | 1 | -2/+2 | |
| * | | Use Box'es to reduce size of hir_def::expr::Expr from 128 to 72 bytes (on 64b... | Alexandru Macovei | 2021-04-06 | 1 | -2/+8 | |
* | | | Remove TyExt::dyn_trait_ref | Lukas Wirth | 2021-04-06 | 1 | -10/+4 | |
* | | | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 12 | -224/+250 | |
| |/ |/| | ||||||
* | | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 11 | -43/+107 | |
* | | 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 | 12 | -39/+66 | |
|/ | ||||||
* | 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 | 3 | -10/+13 | |
* | 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 | |
* | | Use more assoc. type aliases in the chalk interner | Jonas Schievink | 2021-04-05 | 1 | -22/+21 | |
|/ | ||||||
* | 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 |