rust/tests/ui/traits/next-solver/diagnostics
Jubilee 25c55c51cb
Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726
Harmonize using root or leaf obligation in trait error reporting

When #121826 changed the error reporting to use root obligation and not the leafmost obligation, it didn't actually make sure that all the other diagnostics helper functions used the right obligation.

Specifically, when reporting similar impl candidates we are looking for impls of the root obligation, but trying to match them against the trait ref of the leaf obligation.

This does a few other miscellaneous changes. There's a lot more clean-up that could be done here, but working with this code is really grief-inducing due to how messy it has become over the years. Someone really needs to show it love. 😓

r? ``@estebank``

Fixes #126129
2024-06-12 20:03:19 -07:00
..
ambiguous-fail.rs Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
ambiguous-fail.stderr Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
ambiguous-pass.rs Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
ambiguous-pass.stderr Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
point-at-failing-nested.rs Record impl args in the proof tree 2024-05-04 12:57:01 -04:00
point-at-failing-nested.stderr Harmonize use of leaf and root obligation in trait error reporting 2024-06-12 20:57:23 -04:00
projection-trait-ref.rs Walk into alias-eq nested goals even if normalization fails 2024-06-12 19:03:37 -04:00
projection-trait-ref.stderr Walk into alias-eq nested goals even if normalization fails 2024-06-12 19:03:37 -04:00
where-clause-doesnt-apply.rs Don't consider candidates with no failing where clauses 2024-05-06 11:32:50 -04:00
where-clause-doesnt-apply.stderr Harmonize use of leaf and root obligation in trait error reporting 2024-06-12 20:57:23 -04:00