Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Clean up RPIT a bit | Florian Diebold | 2020-02-07 | 4 | -41/+13 | |
* | Fix compilation of other crates | Florian Diebold | 2020-02-07 | 2 | -4/+10 | |
* | Use variables in predicates as well | Florian Diebold | 2020-02-07 | 5 | -63/+52 | |
* | Comment fixes / todos | Florian Diebold | 2020-02-07 | 3 | -6/+8 | |
* | Fix APIT some more | Florian Diebold | 2020-02-07 | 4 | -101/+115 | |
* | Fix APIT | Florian Diebold | 2020-02-07 | 1 | -0/+2 | |
* | Change Ty::Param to contain param ID | Florian Diebold | 2020-02-07 | 11 | -127/+136 | |
* | WIP use params for APIT | Florian Diebold | 2020-02-07 | 3 | -1/+64 | |
* | Fix assoc type selection | Florian Diebold | 2020-02-07 | 2 | -32/+43 | |
* | Fix another test | Florian Diebold | 2020-02-07 | 2 | -7/+3 | |
* | First stab at desugaring bounds for APIT | Florian Diebold | 2020-02-07 | 2 | -6/+33 | |
* | Fix crash | Florian Diebold | 2020-02-07 | 1 | -4/+7 | |
* | Fix enum constructors | Florian Diebold | 2020-02-07 | 3 | -11/+9 | |
* | Fix printing of function types | Florian Diebold | 2020-02-07 | 7 | -72/+73 | |
* | Lower impl trait to variables, move away from using placeholders where they d... | Florian Diebold | 2020-02-07 | 9 | -188/+220 | |
* | wip lower impl trait to type args | Florian Diebold | 2020-02-07 | 4 | -4/+6 | |
* | wip implement lowering mode | Florian Diebold | 2020-02-07 | 2 | -26/+34 | |
* | Add impl trait lowering mode | Florian Diebold | 2020-02-07 | 4 | -32/+132 | |
* | Introduce TyLoweringContext | Florian Diebold | 2020-02-07 | 4 | -146/+130 | |
* | Standard formatting for array types | Aleksey Kladov | 2020-01-28 | 5 | -89/+89 | |
* | Tweak Chalk settings | Florian Diebold | 2020-01-27 | 1 | -2/+1 | |
* | Ignore failing impl Trait tests | Florian Diebold | 2020-01-27 | 1 | -0/+2 | |
* | Upgrade Chalk | Florian Diebold | 2020-01-27 | 2 | -58/+68 | |
* | Omit default parameters for reference types | Kirill Bulatov | 2020-01-22 | 2 | -2/+7 | |
* | Fix inference for shift operators | Florian Diebold | 2020-01-17 | 3 | -5/+35 | |
* | Merge #2844 | bors[bot] | 2020-01-14 | 1 | -2/+2 | |
|\ | ||||||
| * | Use dummy value for line! and column! macro | Edwin Cheng | 2020-01-14 | 1 | -2/+2 | |
* | | Push resolver further up | Aleksey Kladov | 2020-01-14 | 3 | -25/+44 | |
* | | Push resolver up | Aleksey Kladov | 2020-01-14 | 1 | -21/+51 | |
* | | Move impls_future to Type, where it belongs | Aleksey Kladov | 2020-01-14 | 1 | -2/+1 | |
* | | Don't panic if chalk panics | Aleksey Kladov | 2020-01-13 | 1 | -9/+35 | |
|/ | ||||||
* | Fix various names, e.g. Iterator not resolving in core prelude | Florian Diebold | 2020-01-11 | 1 | -0/+54 | |
* | Add test for macro expansion in various expressions | Florian Diebold | 2020-01-10 | 1 | -0/+81 | |
* | Expand PAREN_EXPR as expression | Edwin Cheng | 2020-01-10 | 1 | -0/+17 | |
* | Merge #2742 | bors[bot] | 2020-01-03 | 3 | -4/+13 | |
|\ | ||||||
| * | Split `infer` query into two for better profiling | Michal Terepeta | 2020-01-03 | 3 | -4/+13 | |
* | | Fix #2705 | Florian Diebold | 2020-01-03 | 2 | -1/+18 | |
|/ | ||||||
* | Resolve traits in infer using lang item infrastructure | Emil Lauridsen | 2019-12-29 | 3 | -10/+19 | |
* | Don't add non-impl/trait containers to scope | Aleksey Kladov | 2019-12-29 | 3 | -24/+95 | |
* | Merge #2657 | bors[bot] | 2019-12-27 | 2 | -17/+26 | |
|\ | ||||||
| * | Omit closure parameters | Kirill Bulatov | 2019-12-23 | 2 | -17/+26 | |
* | | Merge #2661 | bors[bot] | 2019-12-24 | 2 | -2/+78 | |
|\ \ | |/ |/| | ||||||
| * | Check if parameters is empty | Edwin Cheng | 2019-12-24 | 1 | -4/+6 | |
| * | Add FIXME | Edwin Cheng | 2019-12-24 | 1 | -1/+5 | |
| * | Implement infer await from async func | Edwin Cheng | 2019-12-24 | 2 | -2/+72 | |
* | | Filter out error predicates in type bounds as well | Florian Diebold | 2019-12-22 | 2 | -2/+29 | |
* | | Introduce our own Chalk TypeFamily, instead of using ChalkIr | Florian Diebold | 2019-12-22 | 4 | -87/+126 | |
* | | Refactor Chalk integration some more | Florian Diebold | 2019-12-22 | 2 | -79/+83 | |
* | | Update Chalk, clean up Chalk integration a bit | Florian Diebold | 2019-12-22 | 3 | -121/+100 | |
|/ | ||||||
* | Rudimentary name resolution for local items | Aleksey Kladov | 2019-12-22 | 1 | -6/+6 |