Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
*-. | Merge #3966 #3968 | bors[bot] | 2020-04-15 | 1 | -0/+27 | |
|\ \ | ||||||
| * | | Add support for bounds on associated types in trait definitions | Florian Diebold | 2020-04-13 | 1 | -0/+27 | |
| |/ | ||||||
| | | ||||||
| \ | ||||||
*-. \ | Merge #3964 #3965 #3967 | bors[bot] | 2020-04-15 | 1 | -1/+72 | |
|\ \ \ | |_|/ |/| | | ||||||
| | * | Handle `Self::Type` in trait definitions when referring to own associated type | Florian Diebold | 2020-04-13 | 1 | -1/+25 | |
| |/ |/| | ||||||
| * | Implement inline associated type bounds | Florian Diebold | 2020-04-13 | 1 | -0/+47 | |
|/ | ||||||
* | Fix Chalk panic | Florian Diebold | 2020-04-06 | 1 | -0/+25 | |
* | Hide unit fn return types | Laurențiu Nicola | 2020-04-05 | 1 | -6/+6 | |
* | Resolve `Self::AssocTy` in impls | Florian Diebold | 2020-03-06 | 1 | -0/+41 | |
* | Do autoderef for indexing | Florian Diebold | 2020-02-29 | 1 | -0/+28 | |
* | Normalize associated types in types coming from Chalk | Florian Diebold | 2020-02-21 | 1 | -0/+42 | |
* | Make Self implement the trait inside trait default methods | Florian Diebold | 2020-02-14 | 1 | -0/+48 | |
* | Add two more tests | Florian Diebold | 2020-02-07 | 1 | -0/+51 | |
* | Don't print implicit type args from impl Trait | Florian Diebold | 2020-02-07 | 1 | -11/+11 | |
* | Deal better with implicit type parameters and argument lists | Florian Diebold | 2020-02-07 | 1 | -0/+108 | |
* | Clean up RPIT a bit | Florian Diebold | 2020-02-07 | 1 | -13/+11 | |
* | Fix APIT some more | Florian Diebold | 2020-02-07 | 1 | -23/+28 | |
* | Change Ty::Param to contain param ID | Florian Diebold | 2020-02-07 | 1 | -2/+1 | |
* | WIP use params for APIT | Florian Diebold | 2020-02-07 | 1 | -0/+53 | |
* | Fix assoc type selection | Florian Diebold | 2020-02-07 | 1 | -3/+3 | |
* | Fix enum constructors | Florian Diebold | 2020-02-07 | 1 | -1/+1 | |
* | Fix printing of function types | Florian Diebold | 2020-02-07 | 1 | -16/+16 | |
* | wip implement lowering mode | Florian Diebold | 2020-02-07 | 1 | -20/+8 | |
* | Standard formatting for array types | Aleksey Kladov | 2020-01-28 | 1 | -1/+1 | |
* | Ignore failing impl Trait tests | Florian Diebold | 2020-01-27 | 1 | -0/+2 | |
* | Resolve traits in infer using lang item infrastructure | Emil Lauridsen | 2019-12-29 | 1 | -0/+5 | |
* | Merge #2661 | bors[bot] | 2019-12-24 | 1 | -0/+57 | |
|\ | ||||||
| * | Implement infer await from async func | Edwin Cheng | 2019-12-24 | 1 | -0/+57 | |
* | | Filter out error predicates in type bounds as well | Florian Diebold | 2019-12-22 | 1 | -0/+17 | |
|/ | ||||||
* | Coerce closures to fn pointers | Florian Diebold | 2019-12-20 | 1 | -5/+5 | |
* | Add std::ops::Index support for infering | Edwin Cheng | 2019-12-19 | 1 | -0/+32 | |
* | Add test mark | Florian Diebold | 2019-12-15 | 1 | -2/+6 | |
* | Handle impl Trait more correctly | Florian Diebold | 2019-12-15 | 1 | -0/+31 | |
* | Add test for unifying impl Trait | Florian Diebold | 2019-12-15 | 1 | -1/+27 | |
* | Correctly infer - and ! using std::ops::{Neg,Not} | Emil Lauridsen | 2019-12-13 | 1 | -0/+64 | |
* | Split up ty tests a bit | Florian Diebold | 2019-12-03 | 1 | -0/+1424 |