| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-08-25 | support non-defining uses in HIR typeck | lcnr | -10/+3 |
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -1/+1 |
| 2025-05-20 | Just error on recursive opaque ty in HIR typeck | Michael Goulet | -4/+2 |
| 2025-04-07 | Fix stack overflow in exhaustiveness due to recursive HIR opaque type values | Michael Goulet | -0/+53 |
