Closed
Description
From: src/test/compile-fail/E0375.rs
E0375 needs a span_label, an updated title, and a note, changing it from:
error[E0375]: the trait `CoerceUnsized` may only be implemented for a coercion between structures with one field being coerced, but 2 fields need coercions: b (T to U), c (U to T)
--> src/test/compile-fail/E0375.rs:20:1
|
20 | impl<T, U> CoerceUnsized<Foo<U, T>> for Foo<T, U> {} //~ ERROR E0375
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
To:
error[E0375]: implementing the trait `CoerceUnsized` requires multiple coercions
--> src/test/compile-fail/E0375.rs:20:1
|
20 | impl<T, U> CoerceUnsized<Foo<U, T>> for Foo<T, U> {} //~ ERROR E0375
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires multiple coercions
|
= note: `CoerceUnsized` may only be implemented for a coercion between structures with one field being coerced
= note: currently, 2 fields need coercions: b (T to U), c (U to T)
Bonus: Underline CoerceUnsized<Foo<U, T>>
(or, alternately Foo<T, U>
)
error[E0375]: implementing the trait `CoerceUnsized` requires multiple coercions
--> src/test/compile-fail/E0375.rs:20:1
|
20 | impl<T, U> CoerceUnsized<Foo<U, T>> for Foo<T, U> {} //~ ERROR E0375
| ^^^^^^^^^^^^^^^^^^^^^^^^ requires multiple coercions
|
= note: `CoerceUnsized` may only be implemented for a coercion between structures with one field being coerced
= note: currently, 2 fields need coercions: b (T to U), c (U to T)
Metadata
Metadata
Assignees
Labels
No labels