about summary refs log tree commit diff
path: root/tests/ui/for
AgeCommit message (Expand)AuthorLines
2024-12-12Tweak multispan renderingEsteban Küber-4/+2
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-2/+2
2024-10-15Be better at reporting alias errorsMichael Goulet-6/+1
2024-10-15Make sure the alias is actually rigidMichael Goulet-9/+2
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-22/+1
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-2/+7
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-6/+7
2024-03-03Use root obligation on E0277 for some casesEsteban Küber-5/+7
2024-02-22Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnrMatthias Krüger-45/+4
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-2/+2
2024-02-03No need to validate_alias_bound_self_from_param_env in assemble_alias_bound_c...Michael Goulet-45/+4
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-2/+2
2024-01-26next-solver: normalize in `LoweredTy::from_raw`lcnr-10/+10
2023-12-14update use of feature flagslcnr-2/+2
2023-11-24Show number in error message even for one errorNilstrieb-9/+9
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-6/+6
2023-08-07Resolve target type of coercionMichael Goulet-6/+6
2023-07-03update testslcnr-5/+61
2023-06-23Resolve vars when reporting WF errorMichael Goulet-2/+2
2023-06-13Move testMichael Goulet-0/+52
2023-03-01recover from for-else and while-elsey21-0/+50
2023-01-11Migrate pattern matchingmejrs-1/+1
2023-01-11Move /src/test to /testsAlbert Larsan-0/+131
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-25 14:34:01 +0000