Esteban Küber b7fc1a7431 Add trait diff highlighting logic and use it in E0277 ... When a trait is not implemented for a type, but there *is* an `impl` for another type or different trait params, we format the output to use highlighting in the same way that E0308 does for types. The logic accounts for 3 cases: - When both the type and trait in the expected predicate and the candidate are different - When only the types are different - When only the trait generic params are different For each case, we use slightly different formatting and wording.		2024-11-02 03:08:04 +00:00
..
bind-param.rs
unify-fixpoint.rs	add test for #97725	2024-03-22 17:12:43 +01:00
unify-fixpoint.stderr	add test for #97725	2024-03-22 17:12:43 +01:00
unify-n-nplusone.rs
unify-n-nplusone.stderr
unused-substs-1.rs
unused-substs-1.stderr	Add trait diff highlighting logic and use it in E0277	2024-11-02 03:08:04 +00:00
unused-substs-2.rs	remove sub_relations from infcx, recompute in diagnostics	2024-02-22 17:29:25 +01:00
unused-substs-2.stderr	remove sub_relations from infcx, recompute in diagnostics	2024-02-22 17:29:25 +01:00
unused-substs-3.rs	generalize: track relevant info in cache key	2024-09-10 15:21:57 +02:00
unused-substs-3.stderr	generalize: track relevant info in cache key	2024-09-10 15:21:57 +02:00
unused-substs-4.rs
unused-substs-4.stderr
unused-substs-5.rs
unused-substs-5.stderr	remove sub_relations from infcx, recompute in diagnostics	2024-02-22 17:29:25 +01:00