| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-24 | norm nested aliases before evaluating the parent goal | lcnr | -4/+7 |
| 2025-04-10 | Deeply normalize obligations in BestObligation | Michael Goulet | -5/+7 |
| 2025-02-18 | Add reference annotations for the `do_not_recommend` attribute | Eric Huss | -3/+3 |
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -11/+1 |
| 2024-12-18 | Stabilize `#[diagnostic::do_not_recommend]` | Georg Semmler | -4/+4 |
| 2024-11-02 | Add trait diff highlighting logic and use it in E0277 | Esteban Küber | -1/+2 |
| 2024-10-16 | Stop inverting expectation in normalization errors | Michael Goulet | -4/+1 |
| 2024-07-02 | Actually report normalization-based type errors correctly for alias-relate ob... | Michael Goulet | -1/+4 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -1/+1 |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -2/+18 |
| 2024-05-19 | Actually use the `#[do_not_recommend]` attribute if present | Georg Semmler | -0/+21 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |