| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-04-08 | Small tweaks to required bound span | Esteban Küber | -2/+2 |
| 2020-04-08 | Use `PredicateObligation`s instead of `Predicate`s | Esteban Küber | -2/+2 |
| 2019-08-31 | Use span label instead of note for cause in E0631 | Esteban Küber | -10/+6 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -4/+4 |
| 2018-09-30 | Deduplicate errors in the obligation forest. | Diogo Sousa | -7/+25 |
| 2018-08-14 | Merged migrated compile-fail tests and ui tests. Fixes #46841. | David Wood | -0/+15 |
