Esteban Küber 9b1eb935bc Tweak wording of failed predicate in inference error ...

Special case message talking about `Predicate` that couldn't be satisfied when in inference errors so that we don't say "cannot satisfy `_: Trait`" and instead say "type must implement `Trait`".

2026-03-16 17:58:49 +00:00

..

ambig-projection-self-is-ambig.rs

…

ambiguity-due-to-uniquification-1.next.stderr

When more than a single impl and less than 4 could apply, point at them

2025-10-31 20:44:01 +00:00

ambiguity-due-to-uniquification-1.rs

uniquify root goals during HIR typeck

2025-07-25 12:40:01 +00:00

ambiguity-due-to-uniquification-2.next.stderr

When more than a single impl and less than 4 could apply, point at them

2025-10-31 20:44:01 +00:00

ambiguity-due-to-uniquification-2.rs

change HIR typeck unification handling approach

2025-08-22 13:39:38 +02:00

ambiguity-due-to-uniquification-3.next.stderr

When more than a single impl and less than 4 could apply, point at them

2025-10-31 20:44:01 +00:00

ambiguity-due-to-uniquification-3.rs

handle region dependent goals due to infer vars

2025-07-30 14:01:37 +02:00

ambiguity-due-to-uniquification-4.current.stderr

Check for region dependent goals on type_op itself as well

2026-03-04 00:02:05 +09:00

ambiguity-due-to-uniquification-4.next.stderr

Check for region dependent goals on type_op itself as well

2026-03-04 00:02:05 +09:00

ambiguity-due-to-uniquification-4.rs

Check for region dependent goals on type_op itself as well

2026-03-04 00:02:05 +09:00

assemble-normalizing-self-ty-impl-ambiguity.rs

…

better_any-backcompat.rs

fix better_any breakage by making the solver more unsound

2025-05-21 13:54:19 +00:00

candidates-equal-modulo-norm-1.rs

…

candidates-equal-modulo-norm-2.rs

…

param-env-alias-bound-conflict.rs

…

runaway-impl-candidate-selection.rs

…

runaway-impl-candidate-selection.stderr

Tweak wording of failed predicate in inference error

2026-03-16 17:58:49 +00:00