| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-03-11 | Update tests | Vadim Petrochenkov | -2/+2 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -53/+3 |
| 2018-12-04 | Update tests | Oliver Scherer | -2/+2 |
| 2018-10-21 | Use new region infer errors for explaining borrows | Matthew Jasper | -3/+3 |
| 2018-10-10 | Use the span of the user type for `AscribeUserType` | Matthew Jasper | -2/+2 |
| 2018-09-19 | Update ui tests | Matthew Jasper | -2/+2 |
| 2018-09-10 | optimize `let x: T = ..` to avoid a temporary | Niko Matsakis | -14/+16 |
| 2018-09-10 | fix SCCs containing mixture of universes | Niko Matsakis | -0/+31 |
| 2018-09-10 | insert `AscribeUserType` for ascriptions | Niko Matsakis | -1/+8 |
| 2018-09-10 | now that we can handle subtyping, fix higher-ranked equality | Niko Matsakis | -12/+1 |
| 2018-09-10 | add a test for variables used twice | Niko Matsakis | -0/+52 |
| 2018-07-26 | fix reference file | Niko Matsakis | -1/+1 |
| 2018-07-25 | Nit: improve comment in hr-fn-aau-eq-abu.rs | Niko Matsakis | -10/+10 |
| 2018-07-25 | add regression test for #48071 | Niko Matsakis | -0/+38 |
| 2018-07-25 | introduce new subtyping | Niko Matsakis | -0/+108 |
