| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-09-12 | Constify Eq, Ord, PartialOrd | Evgenii Zheltonozhskii | -17/+0 |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -2/+2 |
| 2025-06-23 | Make `PartialEq` a `const_trait` | Oli Scherer | -190/+10 |
| 2025-06-05 | Move opaque type checks from the hir item types visitor onto the wfcheck of t... | Oli Scherer | -13/+13 |
| 2025-01-28 | Do not assume child bound assumptions for rigid alias | Michael Goulet | -3/+13 |
| 2024-12-18 | Fix const conditions for RPITITs | Michael Goulet | -0/+187 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -249/+0 |
| 2024-10-22 | Move tests | Michael Goulet | -0/+249 |
