| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-12-01 | Fix UI tests for negative polarity implementations of traits | ThePuzzlemaker | -11/+0 |
| 2020-11-23 | Rename `optin_builtin_traits` to `auto_traits` | Camelid | -10/+10 |
| 2020-08-20 | Don't immediately error for cycles during normalization | Matthew Jasper | -11/+3 |
| 2020-06-17 | Unify region variables when projecting associated types | matthewjasper | -0/+421 |
