Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add more tests, refactor array lengths/consteval work | Jade | 2021-05-14 | 1 | -0/+1 |
* | Add lowering of array lengths in types | Jade | 2021-05-13 | 1 | -3/+6 |
* | Add basic support for array lengths in types | Jade | 2021-05-11 | 1 | -2/+5 |
* | Exclude inherent traits from flyimports | Kirill Bulatov | 2021-04-16 | 1 | -0/+1 |
* | More cleanups / module docs | Florian Diebold | 2021-04-09 | 1 | -2/+2 |
* | More cleanups | Florian Diebold | 2021-04-09 | 1 | -22/+20 |
* | More moving stuff around | Florian Diebold | 2021-04-09 | 1 | -55/+6 |
* | Move ToChalk -> mapping | Florian Diebold | 2021-04-09 | 1 | -1/+1 |
* | Reorganize hir_ty modules | Florian Diebold | 2021-04-09 | 1 | -1/+6 |
* | Intern Substitutions | Florian Diebold | 2021-04-08 | 1 | -2/+2 |
* | Remove unused | Florian Diebold | 2021-04-08 | 1 | -3/+0 |
* | Replace remaining `fold` calls | Florian Diebold | 2021-04-08 | 1 | -0/+27 |
* | Replace some `fold` calls | Florian Diebold | 2021-04-08 | 1 | -0/+26 |
* | Fix shifted_{in,out} calls | Florian Diebold | 2021-04-08 | 1 | -4/+4 |
* | Fix subst_prefix | Florian Diebold | 2021-04-08 | 1 | -1/+4 |
* | Impl Fold for CallableSig | Florian Diebold | 2021-04-08 | 1 | -0/+18 |
* | Add HasInterner bounds | Florian Diebold | 2021-04-08 | 1 | -4/+11 |
* | Allow unused | Florian Diebold | 2021-04-08 | 1 | -0/+3 |
* | Replace all the types by their Chalk versions | Florian Diebold | 2021-04-08 | 1 | -4/+31 |
* | Merge #8409 | bors[bot] | 2021-04-07 | 1 | -17/+13 |
|\ | |||||
| * | Make Canonical::new a free-standing function | Florian Diebold | 2021-04-07 | 1 | -10/+12 |
| * | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 1 | -7/+1 |
* | | Move `equals_ctor` to `TyExt` | Florian Diebold | 2021-04-07 | 1 | -31/+1 |
|/ | |||||
* | Remove Ty::substs{_mut} | Florian Diebold | 2021-04-07 | 1 | -28/+0 |
* | Move Ty::builtin_deref | Lukas Wirth | 2021-04-07 | 1 | -8/+0 |
* | Align `InferenceVar` to Chalk | Florian Diebold | 2021-04-06 | 1 | -1/+1 |
* | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 1 | -211/+3 |
* | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 1 | -3/+26 |
* | Use a constructor function for Static lifetimes | Lukas Wirth | 2021-04-06 | 1 | -0/+4 |
* | Add Lifetime to TyKind::Ref | Lukas Wirth | 2021-04-06 | 1 | -4/+4 |
* | Align FnPointer with Chalk | Florian Diebold | 2021-04-05 | 1 | -6/+7 |
* | Substitution::prefix -> subst_prefix | Florian Diebold | 2021-04-05 | 1 | -4/+3 |
* | Get rid of Substitution::suffix | Florian Diebold | 2021-04-05 | 1 | -6/+0 |
* | Remove some unused methods, move some to types.rs | Florian Diebold | 2021-04-05 | 1 | -29/+0 |
* | Binders::wrap_empty -> wrap_empty_binders | Florian Diebold | 2021-04-05 | 1 | -7/+5 |
* | Substitution::single -> from1 | Florian Diebold | 2021-04-05 | 1 | -9/+0 |
* | Move ProjectionTy methods to extension trait | Florian Diebold | 2021-04-05 | 1 | -24/+2 |
* | Replace unused hir_ty::Lifetime with chalk equivalents | Lukas Wirth | 2021-04-05 | 1 | -2/+12 |
* | Rename shift_bound_vars{_out} to align with Chalk | Florian Diebold | 2021-04-05 | 1 | -2/+3 |
* | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 1 | -5/+5 |
* | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 1 | -4/+4 |
* | Use VariableKinds in Binders | Florian Diebold | 2021-04-05 | 1 | -10/+16 |
* | Hide Binders internals more | Florian Diebold | 2021-04-05 | 1 | -33/+11 |
* | Pass interner to TraitRef::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 1 | -3/+5 |
* | Pass interner to ProjectionTy::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 1 | -3/+3 |
* | Rename TyKind::ForeignType to Foreign | Laurențiu Nicola | 2021-04-05 | 1 | -2/+2 |
* | Rename TyKind::Unknown to Error | Laurențiu Nicola | 2021-04-05 | 1 | -1/+1 |
* | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
* | Move things in hir_ty into submodules | Florian Diebold | 2021-04-04 | 1 | -680/+15 |
* | Replace Substitution::type_params | Florian Diebold | 2021-04-04 | 1 | -7/+1 |