Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
* | Add some tests for Chalk built-in trait impls | Florian Diebold | 2020-05-22 | 1 | -0/+78 | |
* | Switch to new magic marks | Aleksey Kladov | 2020-05-20 | 1 | -4/+4 | |
* | Add more tests for Fn traits | Hrvoje Ban | 2020-05-18 | 1 | -0/+132 | |
* | Remove whitespaces | Edwin Cheng | 2020-05-03 | 1 | -1/+1 | |
* | Support macro for trait items | Edwin Cheng | 2020-05-03 | 1 | -19/+21 | |
* | For associated type shorthand (T::Item), use the substs from the where clause | Florian Diebold | 2020-04-26 | 1 | -0/+30 | |
* | Convert tests to text-size | Aleksey Kladov | 2020-04-25 | 1 | -553/+553 | |
* | Merge #4023 | bors[bot] | 2020-04-18 | 1 | -0/+36 | |
|\ | ||||||
| * | Fix another crash from wrong binders | Florian Diebold | 2020-04-17 | 1 | -0/+36 | |
* | | Fix type equality for dyn Trait | Florian Diebold | 2020-04-17 | 1 | -0/+24 | |
* | | Add two more tests for associated types | Florian Diebold | 2020-04-17 | 1 | -0/+174 | |
|/ | ||||||
* | Test for non-working proc macro server assoc types | Florian Diebold | 2020-04-16 | 1 | -0/+68 | |
* | Switch Chalk to recursive solver | Florian Diebold | 2020-04-16 | 1 | -29/+21 | |
*-. | 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 |