| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-26 | allow method calls on opaques | lcnr | -17/+0 | |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -1/+1 | |
| Co-authored-by: Michael Goulet <michael@errs.io> | ||||
| 2024-10-15 | Register a dummy candidate for failed structural normalization during ↵ | Michael Goulet | -23/+4 | |
| candiate assembly | ||||
| 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 | |
| And suggest adding the `#[coroutine]` to the closure | ||||
| 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 |