| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-09 | Report higher-ranked trait error when higher-ranked projection goal fails in ... | Michael Goulet | -27/+8 |
| 2024-11-12 | Make sure to ignore elided lifetimes when pointing at args for fulfillment er... | Michael Goulet | -2/+2 |
| 2024-10-15 | update test description | lcnr | -3/+3 |
| 2024-09-11 | Revert 'Stabilize -Znext-solver=coherence' | Michael Goulet | -3/+3 |
| 2024-09-05 | update test description | lcnr | -3/+3 |
| 2024-07-17 | Remove invalid further restricting for type bound | yukang | -12/+0 |
| 2024-07-10 | instantiate higher ranked goals in candidate selection | lcnr | -164/+51 |
| 2024-05-24 | drop region constraints for ambiguous goals | lcnr | -0/+104 |
| 2024-05-18 | Fix typos (taking into account review comments) | blyxyas | -1/+1 |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -1/+14 |
| 2024-04-03 | rebase oddity | Boxy | -25/+26 |
| 2024-04-03 | move leak check out of candidate evaluation | lcnr | -0/+565 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |