| Age | Commit message (Collapse) | 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 | |
