| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-01-08 | Implement const Destruct in old solver | Michael Goulet | -1/+105 |
| 2025-01-06 | Add derived causes for host effect predicates | Michael Goulet | -3/+18 |
| 2024-12-22 | Fix item bounds in old solver | Michael Goulet | -28/+137 |
| 2024-12-12 | Move impl constness into impl trait header | Oli Scherer | -1/+3 |
| 2024-11-23 | no more Reveal :( | lcnr | -1/+1 |
| 2024-11-22 | Bail in effects in old solver if self ty is ty var | Michael Goulet | -0/+5 |
| 2024-10-30 | Merge HostPolarity and BoundConstness | Michael Goulet | -2/+3 |
| 2024-10-29 | rebase | lcnr | -2/+3 |
| 2024-10-28 | Hack out effects support for old solver | Michael Goulet | -0/+152 |
