Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Merge #2626 | bors[bot] | 2019-12-21 | 1 | -0/+23 |
|\ |