| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-09-02 | pretty: trim paths of unique symbols | Dan Aloni | -4/+4 |
| 2020-05-12 | Increase verbosity of bound restriction suggestions | Esteban Küber | -3/+6 |
| 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 |
| 2020-02-02 | Use more accurate failed predicate spans | Esteban Küber | -4/+4 |
| 2020-02-02 | Point at arguments or output when fn obligations come from them, or ident whe... | Esteban Küber | -12/+7 |
| 2019-10-15 | Handle `Self` restriction needed | Esteban Küber | -3/+4 |
| 2019-08-31 | Use span label instead of note for cause in E0631 | Esteban Küber | -5/+3 |
| 2019-03-11 | Update tests | Vadim Petrochenkov | -1/+1 |
| 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 |
