| Age | Commit message (Collapse) | 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 | |
| avoid `{type error}` being leaked in user-facing messages, particularly when using the `adt_const_params` feature | ||||
| 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 |