| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2021-03-06 | Move some tests to more suitable subdirs | Yuki Okushi | -12/+0 | |
| 2020-04-18 | Do not emit note for projected derived obligations | Esteban Küber | -2/+0 | |
| 2020-04-18 | Maintain chain of derived obligations | Esteban Küber | -0/+5 | |
| When evaluating the derived obligations from super traits, maintain a reference to the original obligation in order to give more actionable context in the output. | ||||
| 2019-03-11 | Update tests | Vadim Petrochenkov | -1/+1 | |
| 2018-12-25 | Remove licenses | Mark Rousskov | -1/+1 | |
| 2018-08-14 | Merged migrated compile-fail tests and ui tests. Fixes #46841. | David Wood | -0/+9 | |
