Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | | | | Chalk isn't really a 'traits' thing anymore, so it doesn't make sense to have all the Chalk-related stuff in submodules of `traits`. | ||||
* | Intern Substitutions | Florian Diebold | 2021-04-08 | 1 | -2/+2 |
| | | | | (Costs a bit of performance, reduces memory usage on RA by ~10%.) | ||||
* | 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 |
|\ | | | | | | | | | | | | | | | 8409: Various remaining fixes for Chalk IR move r=flodiebold a=flodiebold CC #8313 Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | 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 |
|/ | | | | | | I'd prefer getting rid of it, but it's used in the impl search and not super easy to replace there (I think ideally the impl search would do proper unification, but that's a bit more complicated). | ||||
* | Remove Ty::substs{_mut} | Florian Diebold | 2021-04-07 | 1 | -28/+0 |
| | | | | | | Almost all uses actually only care about ADT substs, so it's better to be explicit. The methods were a bad abstraction anyway since they already didn't include the inner types of e.g. `TyKind::Ref` anymore. | ||||
* | 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 |
| | | | | I probably want to get rid of this function completely later. | ||||
* | 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 |
| | | | | | - all the types that will be replaced by Chalk go to `types` - `TypeWalk` impls go to `walk` | ||||
* | Replace Substitution::type_params | Florian Diebold | 2021-04-04 | 1 | -7/+1 |
| | |||||
* | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 1 | -26/+2 |
| | |||||
* | Move TyBuilder to its own module | Florian Diebold | 2021-04-04 | 1 | -204/+10 |
| | |||||
* | Replace last uses of SubstsBuilder by TyBuilder | Florian Diebold | 2021-04-04 | 1 | -50/+16 |
| | |||||
* | Remove CallableSig::from_substs | Florian Diebold | 2021-04-04 | 1 | -11/+1 |
| | |||||
* | Some more TyBuilder use | Florian Diebold | 2021-04-04 | 1 | -4/+0 |
| | |||||
* | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 1 | -8/+38 |
| |