about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/diagnostics
AgeCommit message (Expand)AuthorLines
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-4/+14
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-1/+1
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-2/+3
2025-02-05When displaying a parameter mismatch error, only highlight the mismatched par...Jason Newcomb-1/+1
2025-01-22Rollup merge of #135866 - BoxyUwU:dont_pick_fnptr_nested_goals, r=lcnrMatthias Krüger-0/+62
2025-01-22Use `structurally_normalize` instead of manual `normalizes-to` goalsBoxy-0/+45
2025-01-22Don't pick `T: FnPtr` nested goalsBoxy-0/+62
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-1/+1
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-2/+2
2024-10-24Deeply normalize type trace in type error reportingMichael Goulet-0/+34
2024-10-15Structurally resolve in may_coerceMichael Goulet-0/+40
2024-06-12Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726Jubilee-0/+10
2024-06-12Harmonize use of leaf and root obligation in trait error reportingMichael Goulet-0/+10
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-0/+43
2024-05-16Don't ICE because recomputing overflow goals during find_best_leaf_obligation...Michael Goulet-0/+66
2024-05-06Don't consider candidates with no failing where clausesMichael Goulet-0/+44
2024-05-04Record impl args in the proof treeMichael Goulet-0/+47
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 08:53:10 +0000