| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2021-08-16 | Use note to point at bound introducing requirement | Esteban Küber | -2/+5 |
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -1/+1 |
| 2020-04-08 | Small tweaks to required bound span | Esteban Küber | -1/+1 |
| 2020-04-08 | Use `PredicateObligation`s instead of `Predicate`s | Esteban Küber | -1/+1 |
| 2019-08-31 | Use span label instead of note for cause in E0631 | Esteban Küber | -5/+2 |
| 2018-10-11 | review comments | Esteban Küber | -1/+1 |
| 2018-10-09 | Add tests for handled cases | Esteban Küber | -0/+17 |
