| Age | Commit message (Collapse) | 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 ↵ | Oli Scherer | -13/+13 | |
| the opaqe type itself | ||||
| 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 | |
