| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-01-03 | Report impl has stricter requirements even when RPITIT inference gets in the way | Michael Goulet | -1/+1 |
| 2024-10-10 | Move ty::Error branch into super_combine_tys | Michael Goulet | -1/+0 |
| 2024-03-14 | Consolidate WF for aliases | Michael Goulet | -0/+1 |
| 2024-01-17 | Move `check_mod_impl_wf` query call out of track_errors and bubble errors up ... | Oli Scherer | -0/+2 |
| 2023-10-13 | Stabilize AFIT and RPITIT | Michael Goulet | -2/+0 |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -3/+0 |
| 2023-07-07 | Add regression test for RPITITs | Santiago Pastorino | -0/+19 |
