Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 11 | -37/+44 |
* | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 11 | -34/+34 |
* | Use VariableKinds in Binders | Florian Diebold | 2021-04-05 | 7 | -84/+107 |
* | Hide Binders internals more | Florian Diebold | 2021-04-05 | 9 | -84/+104 |
* | Use arrayvec 0.7 to avoid perf regression in 0.6.1 | kjeremy | 2021-04-05 | 1 | -1/+1 |
* | 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 |
* | Rename TyKind::ForeignType to Foreign | Laurențiu Nicola | 2021-04-05 | 6 | -9/+9 |
* | Rename TyKind::Unknown to Error | Laurențiu Nicola | 2021-04-05 | 13 | -47/+47 |
* | Intern `GenericParams` | Jonas Schievink | 2021-04-05 | 1 | -1/+2 |
* | Intern more `TypeRef`s in generics | Jonas Schievink | 2021-04-05 | 1 | -5/+4 |
* | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 11 | -107/+103 |
* | Move things in hir_ty into submodules | Florian Diebold | 2021-04-04 | 10 | -706/+750 |
* | Add comment | Florian Diebold | 2021-04-04 | 1 | -0/+3 |
* | Replace Substitution::type_params | Florian Diebold | 2021-04-04 | 4 | -12/+11 |
* | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 7 | -54/+42 |
* | Move TyBuilder to its own module | Florian Diebold | 2021-04-04 | 2 | -204/+221 |
* | Replace last uses of SubstsBuilder by TyBuilder | Florian Diebold | 2021-04-04 | 4 | -64/+23 |
* | Remove CallableSig::from_substs | Florian Diebold | 2021-04-04 | 1 | -11/+1 |
* | Use TyBuilder in another place | Florian Diebold | 2021-04-04 | 1 | -4/+3 |
* | Some more TyBuilder use | Florian Diebold | 2021-04-04 | 2 | -33/+25 |
* | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 5 | -18/+44 |
* | More TyBuilder use | Florian Diebold | 2021-04-04 | 1 | -12/+9 |
* | More TyBuilder use | Florian Diebold | 2021-04-04 | 1 | -23/+15 |
* | Add and start using TraitRef and ProjectionTy builders | Florian Diebold | 2021-04-04 | 4 | -22/+39 |
* | Move Ty::builtin to TyBuilder | Florian Diebold | 2021-04-04 | 2 | -18/+18 |
* | Add TyBuilder::adt | Florian Diebold | 2021-04-04 | 4 | -45/+104 |
* | Move Ty::fn_ptr to TyBuilder | Florian Diebold | 2021-04-04 | 2 | -11/+12 |
* | Add TyBuilder::unit() and TyExt::is_unit() | Florian Diebold | 2021-04-04 | 7 | -25/+39 |
* | Add TyBuilder | Florian Diebold | 2021-04-04 | 1 | -0/+6 |
* | Access a body's block def maps via a method | Jonas Schievink | 2021-04-04 | 2 | -3/+2 |
* | Use bitflags to compress function properties | Jonas Schievink | 2021-04-03 | 4 | -6/+6 |
* | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 16 | -62/+60 |
* | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 16 | -152/+301 |
* | Merge #8284 | bors[bot] | 2021-04-02 | 1 | -1/+1 |
|\ | |||||
| * | Global TypeRef/TraitRef interning | Jonas Schievink | 2021-04-01 | 1 | -1/+1 |
* | | Merge #8287 | bors[bot] | 2021-04-02 | 1 | -36/+33 |
|\ \ | |||||
| * | | Don't allocate in `associated_type_shorthand_candidates` | Lukas Wirth | 2021-04-02 | 1 | -36/+33 |
* | | | minor: add profile call for resolve_obligations | Aleksey Kladov | 2021-04-02 | 1 | -0/+2 |
* | | | Merge #8285 | bors[bot] | 2021-04-02 | 4 | -8/+26 |
|\ \ \ | |/ / |/| | | |||||
| * | | Don't recheck obligations if we have learned nothing new | Florian Diebold | 2021-04-01 | 4 | -8/+26 |
| |/ | |||||
* | | Merge #8283 | bors[bot] | 2021-04-01 | 1 | -1/+1 |
|\ \ | |/ |/| | |||||
| * | Resolve associated types with type anchors | Lukas Wirth | 2021-04-01 | 1 | -1/+1 |