| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-01-31 | Manually walk into WF obligations in BestObligation proof tree visitor | Michael Goulet | -2/+2 |
| 2024-11-03 | Yeet effects feature | Michael Goulet | -12/+0 |
| 2024-10-21 | don't bail when encountering many placeholders | lcnr | -0/+16 |
| 2024-09-29 | fix(hir_analysis/wfcheck): don't leak {type error} | Barrett Ray | -2/+2 |
| 2024-06-22 | Make `effects` an incomplete feature | Deadbeef | -1/+12 |
| 2024-06-12 | better error message for normalizes-to ambiguities | Michael Goulet | -2/+2 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -2/+2 |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -2/+2 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -3/+3 |
| 2024-05-07 | Don't ICE when we cannot eval a const to a valtree in the new solver | Michael Goulet | -2/+10 |
| 2024-05-06 | Use super_fold in RegionsToStatic visitor | Michael Goulet | -0/+110 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |