Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Unify with the autorefed/autoderefed receiver type during method resolution | Florian Diebold | 2019-02-17 | 1 | -0/+16 |
| | |||||
* | Handle generic args for method calls | Florian Diebold | 2019-02-16 | 1 | -3/+3 |
| | |||||
* | Handle impl generics in method calls | Florian Diebold | 2019-02-16 | 2 | -47/+47 |
| | |||||
* | Add a test for impl generics | Florian Diebold | 2019-02-16 | 1 | -0/+39 |
| | |||||
* | Fix another crash | Florian Diebold | 2019-02-12 | 1 | -0/+12 |
| | |||||
* | Fix another crash, and try harder to prevent stack overflows | Florian Diebold | 2019-02-09 | 1 | -0/+30 |
| | |||||
* | Fix another crash found when analyzing rustc | Florian Diebold | 2019-02-09 | 1 | -0/+16 |
| | |||||
* | Fix handling of literal patterns | Florian Diebold | 2019-02-09 | 1 | -0/+13 |
| | | | | | Wrap them in a LiteralPat node so they can be distinguished from literal expressions. | ||||
* | Fix two crashes found by running inference on all of rustc | Florian Diebold | 2019-02-09 | 2 | -0/+27 |
| | |||||
* | Test more Self inference | kjeremy | 2019-02-04 | 1 | -3/+7 |
| | |||||
* | Use new Resolver API in type inference | Florian Diebold | 2019-02-01 | 3 | -15/+15 |
| | |||||
* | Merge #701 | bors[bot] | 2019-01-30 | 2 | -14/+23 |
|\ | | | | | | | | | | | | | | | | | | | 701: Minor type inference tweaks r=flodiebold a=marcusklaas Pass down expectation for reference expressions and type the guard in match expressions. I wasn't able to add a test for the former addition because the type variable previously introduced would always resolve to the right type in the things I tried! Co-authored-by: Marcus Klaas de Vries <[email protected]> | ||||
| * | Add test for passing on ref expectations | Marcus Klaas de Vries | 2019-01-30 | 1 | -4/+10 |
| | | |||||
| * | Infer type of match guard | Marcus Klaas de Vries | 2019-01-28 | 1 | -10/+13 |
| | | |||||
* | | Added support for primitive types type inference when using std::ops::Not | WizardOfMenlo | 2019-01-28 | 1 | -12/+25 |
| | | |||||
* | | Process second review | Marcus Klaas de Vries | 2019-01-27 | 1 | -5/+5 |
| | | |||||
* | | Use type information from the turbofish | Marcus Klaas de Vries | 2019-01-27 | 2 | -6/+9 |
| | | |||||
* | | Add a FnSig to Ty::FnDef | Marcus Klaas de Vries | 2019-01-27 | 6 | -30/+30 |
| | | |||||
* | | Add missing ty test snapshot | Marcus Klaas de Vries | 2019-01-27 | 1 | -0/+23 |
| | | |||||
* | | Add type params to FnSignature | Marcus Klaas de Vries | 2019-01-27 | 5 | -54/+54 |
|/ | |||||
* | Handle cycles in type vars | Florian Diebold | 2019-01-26 | 2 | -0/+35 |
| | | | | This might be the cause of #587. | ||||
* | fix AST for if expressions | Aleksey Kladov | 2019-01-26 | 1 | -0/+17 |
| | | | | then is not always a block... | ||||
* | Fix type inference of binops on int/float variables | Florian Diebold | 2019-01-25 | 1 | -0/+13 |
| | | | | Fixes #651. | ||||
* | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -6/+6 |
| | |||||
* | Update snaps | Jeremy A. Kolb | 2019-01-22 | 24 | -96/+144 |
| | |||||
* | Use insta for ty tests | Florian Diebold | 2019-01-21 | 24 | -0/+605 |