| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -20/+0 |
| 2022-12-27 | Trim more paths in obligation types | Esteban Küber | -1/+1 |
| 2022-08-21 | Rework point-at-arg | Michael Goulet | -2/+2 |
| 2022-08-18 | Reword "Required because of the requirements on the impl of ..." | Andy Wang | -1/+1 |
| 2021-08-16 | Use note to point at bound introducing requirement | Esteban Küber | -3/+5 |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -7/+7 |
| 2020-04-08 | Small tweaks to required bound span | Esteban Küber | -1/+1 |
| 2019-09-22 | On obligation errors point at the unfulfilled binding when possible | Esteban Küber | -1/+1 |
| 2019-08-31 | Use span label instead of note for cause in E0631 | Esteban Küber | -5/+3 |
| 2019-04-24 | Fix test | Amanieu d'Antras | -3/+3 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -2/+2 |
| 2018-08-14 | Merged migrated compile-fail tests and ui tests. Fixes #46841. | David Wood | -0/+20 |
