Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
* | | Fix block inner item defined in macro | Edwin Cheng | 2021-03-31 | 1 | -0/+26 | |
|/ | ||||||
* | Merge #8266 | bors[bot] | 2021-03-31 | 1 | -0/+43 | |
|\ | ||||||
| * | Fix generic arguments being incorrectly offset in qualified trait casts | Lukas Wirth | 2021-03-30 | 1 | -0/+43 | |
* | | Merge #8186 | bors[bot] | 2021-03-30 | 1 | -8/+4 | |
|\ \ | ||||||
| * | | Remove TraitRef::Error | Lukas Wirth | 2021-03-29 | 1 | -4/+1 | |
| * | | Rename target_ty to self_ty | Lukas Wirth | 2021-03-29 | 1 | -1/+1 | |
| * | | Lower traits to TraitRef instead of TypeRef | Lukas Wirth | 2021-03-29 | 1 | -7/+6 | |
* | | | Fix expansion of OR-patterns in match check | Jesse Bakker | 2021-03-30 | 1 | -25/+15 | |
| |/ |/| | ||||||
* | | internal: ensure that runaway type-inference doesn't block the main loop | Aleksey Kladov | 2021-03-29 | 1 | -0/+2 | |
|/ | ||||||
* | Basic Support Macro 2.0 | Edwin Cheng | 2021-03-27 | 1 | -1/+82 | |
* | Merge #8201 | bors[bot] | 2021-03-27 | 2 | -1/+40 | |
|\ | ||||||
| * | Fix recursive macro statement expansion | Edwin Cheng | 2021-03-25 | 2 | -1/+40 | |
* | | completion relevance consider if types can be unified | Josh Mcguigan | 2021-03-26 | 3 | -1/+10 | |
* | | Use arrayvec 0.6 | Laurențiu Nicola | 2021-03-25 | 3 | -7/+5 | |
|/ | ||||||
* | Merge #7907 | bors[bot] | 2021-03-24 | 7 | -36/+210 | |
|\ | ||||||
| * | hir_ty: don't call write_field_resolution when field candidate isn't visible | cynecx | 2021-03-24 | 1 | -6/+4 | |
| * | hir_def: move visibility queries from hir_ty to hir_def | cynecx | 2021-03-24 | 3 | -34/+5 |