summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/diagnostics
AgeCommit message (Expand)AuthorLines
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