| Age | Commit message (Collapse) | 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 | |
| scope | ||||
| 2024-07-24 | Add regression tests | Oli Scherer | -0/+22 | |
