Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |