| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2021-11-10 | no overlap errors after failing the orphan check | lcnr | -13/+2 |
| 2021-04-06 | Remove trailing `:` from E0119 message | Esteban Küber | -1/+1 |
| 2020-10-17 | Fix grammar in note for orphan-rule error [E0210] | Will Crozier | -1/+1 |
| 2020-09-03 | specialization_graph: avoid trimmed paths for OverlapError | Dan Aloni | -1/+1 |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -2/+2 |
| 2019-11-10 | Improve coherence errors for wrong type order | Ohad Ravid | -0/+1 |
| 2019-10-28 | Use more targeted spans for orphan rule errors | Esteban Küber | -2/+2 |
| 2019-05-24 | Move error code tests to error code folder | varkor | -0/+22 |
