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

..

infinite-impl-trait-issue-38064.rs

…

infinite-impl-trait-issue-38064.stderr

…

issue-21659-show-relevant-trait-impls-3.rs

…

issue-21659-show-relevant-trait-impls-3.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-42479.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-49376.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-52128.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-53457.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-54600.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-54600.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-54840.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-54840.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-54895.rs

Improve error message for opaque captures

2024-03-08 19:08:13 +00:00

issue-54895.stderr

Improve error message for opaque captures

2024-03-08 19:08:13 +00:00

issue-55608-captures-empty-region.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-57464-unexpected-regions.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-57979-deeply-nested-impl-trait-in-assoc-proj.rs

…

issue-57979-deeply-nested-impl-trait-in-assoc-proj.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-57979-impl-trait-in-path.rs

Move an impl-Trait check from AST validation to AST lowering

2024-10-27 07:41:52 +01:00

issue-57979-impl-trait-in-path.stderr

Move an impl-Trait check from AST validation to AST lowering

2024-10-27 07:41:52 +01:00

issue-57979-nested-impl-trait-in-assoc-proj.rs

…

issue-57979-nested-impl-trait-in-assoc-proj.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-58504.rs

Error on using yield without also using #[coroutine] on the closure

2024-04-24 08:05:29 +00:00

issue-58504.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-58956.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-58956.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-62742.rs

Relate receiver invariantly in method probe for Mode::Path

2024-09-16 10:55:07 -04:00

issue-62742.stderr

Add trait diff highlighting logic and use it in E0277

2024-11-02 03:08:04 +00:00

issue-65581.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-67830.rs

Stop proving outlives constraints on regions we already reported errors on

2024-05-29 09:27:07 +00:00

issue-67830.stderr

Stop proving outlives constraints on regions we already reported errors on

2024-05-29 09:27:07 +00:00

issue-70877.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

issue-70877.stderr

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

issue-70971.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-70971.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-74282.rs

…

issue-74282.stderr

adjust how closure/generator types and rvalues are printed

2023-09-21 22:20:58 +02:00

issue-77987.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

issue-78722-2.rs

Make DefiningAnchor::Bind only store the opaque types that may be constrained, instead of the current infcx root item.

2024-03-11 17:19:37 +00:00

issue-78722-2.stderr

Stop inverting expectation in normalization errors

2024-10-16 13:44:56 -04:00

issue-78722.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-78722.stderr

Stop inverting expectation in normalization errors

2024-10-16 13:44:56 -04:00

issue-79099.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-79099.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-82139.rs

…

issue-82139.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-83919.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-83919.stderr

Use root obligation on E0277 for some cases

2024-03-03 18:53:35 +00:00

issue-83929-impl-trait-in-generic-default.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-83929-impl-trait-in-generic-default.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-84073.rs

Use sup instead of eq when unifying self type

2024-04-21 20:10:12 -04:00

issue-84073.stderr

Use sup instead of eq when unifying self type

2024-04-21 20:10:12 -04:00

issue-84919.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-84919.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-86201.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-86642.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-86642.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-86719.rs

…

issue-86719.stderr

…

issue-86800.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

issue-86800.stderr

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

issue-87295.rs

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-87295.stderr

Split note, fix const/static impl trait error

2024-01-07 18:00:03 +00:00

issue-87340.rs

Merge check_mod_impl_wf and check_mod_type_wf

2024-03-07 06:27:09 +00:00

issue-87340.stderr

Merge check_mod_impl_wf and check_mod_type_wf

2024-03-07 06:27:09 +00:00

issue-88236-2.rs

Stop proving outlives constraints on regions we already reported errors on

2024-05-29 09:27:07 +00:00

issue-88236-2.stderr

Stop proving outlives constraints on regions we already reported errors on

2024-05-29 09:27:07 +00:00

issue-88236.rs

Improve error message for opaque captures

2024-03-08 19:08:13 +00:00

issue-88236.stderr

Improve error message for opaque captures

2024-03-08 19:08:13 +00:00

issue-89312.rs

Require any function with a tait in its signature to actually constrain a hidden type

2024-06-12 08:53:59 +00:00

issue-92305.rs

Bless test fallout (duplicate diagnostics)

2024-03-20 13:00:34 -04:00

issue-92305.stderr

Bless test fallout (duplicate diagnostics)

2024-03-20 13:00:34 -04:00

issue-93788.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-99348-impl-compatibility.rs

…

issue-99348-impl-compatibility.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

issue-104815.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-105826.rs

borrowck: more eagerly prepopulate opaques

2024-05-06 16:04:57 +00:00