| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -5/+5 |
| 2019-11-21 | Point at type in `let` assignment on type errors | Esteban Küber | -16/+20 |
| 2019-11-18 | Surround types with backticks in type errors | Esteban Küber | -3/+3 |
| 2019-11-18 | Remove E0308 note when primary label has all info | Esteban Küber | -12/+3 |
| 2019-11-18 | Specific labels when referring to "expected" and "found" types | Esteban Küber | -8/+8 |
| 2019-10-01 | Change to use exprPrecedence instead of exprKind. | Sam Radhakrishnan | -1/+1 |
| 2019-03-11 | Update tests | Vadim Petrochenkov | -2/+2 |
| 2018-12-31 | Improve type mismatch error messages | Yuning Zhang | -1/+1 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -4/+4 |
| 2018-07-18 | Implement existential types | Oliver Schneider | -0/+51 |
