| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -1/+1 |
| 2024-10-15 | Register a dummy candidate for failed structural normalization during candiat... | Michael Goulet | -23/+4 |
| 2024-10-15 | Be better at reporting alias errors | Michael Goulet | -54/+6 |
| 2024-10-15 | Make sure the alias is actually rigid | Michael Goulet | -12/+56 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -4/+5 |
| 2024-04-04 | unconstrained `NormalizesTo` term for opaques | lcnr | -6/+22 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -2/+2 |
| 2024-02-27 | when defining opaques, require the hidden type to be well-formed | lcnr | -5/+5 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -0/+23 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |