| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-10-15 | Make sure the alias is actually rigid | Michael Goulet | -9/+2 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -19/+1 |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -2/+7 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -5/+5 |
| 2024-03-03 | Use root obligation on E0277 for some cases | Esteban Küber | -2/+4 |
| 2024-02-03 | No need to validate_alias_bound_self_from_param_env in assemble_alias_bound_c... | Michael Goulet | -40/+2 |
| 2024-01-26 | next-solver: normalize in `LoweredTy::from_raw` | lcnr | -10/+10 |
| 2023-10-04 | Reorder fullfillment errors to keep more interesting ones first | Esteban Küber | -6/+6 |
| 2023-08-07 | Resolve target type of coercion | Michael Goulet | -6/+6 |
| 2023-07-03 | update tests | lcnr | -2/+49 |
| 2023-06-23 | Resolve vars when reporting WF error | Michael Goulet | -1/+1 |
| 2023-06-13 | Move test | Michael Goulet | -0/+25 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |