| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-08-25 | support non-defining uses in HIR typeck | lcnr | -11/+3 |
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -4/+17 |
| 2024-12-05 | Resolve more | Michael Goulet | -17/+4 |
| 2024-07-24 | Do not assemble candidates for auto traits of opaque types in their defining ... | Oli Scherer | -2/+2 |
| 2024-07-24 | Add regression tests | Oli Scherer | -0/+22 |
