mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-29 10:13:54 +00:00
5b54286640
Remove the "which is required by `{root_obligation}`" post-script in
"the trait `X` is not implemented for `Y`" explanation in E0277. This
information is already conveyed in the notes explaining requirements,
making it redundant while making the text (particularly in labels)
harder to read.
```
error[E0277]: the trait bound `NotCopy: Copy` is not satisfied
--> $DIR/wf-static-type.rs:10:13
|
LL | static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
| ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `NotCopy`
|
= note: required for `Option<NotCopy>` to implement `Copy`
note: required by a bound in `IsCopy`
--> $DIR/wf-static-type.rs:7:17
|
LL | struct IsCopy<T:Copy> { t: T }
| ^^^^ required by this bound in `IsCopy`
```
vs the prior
```
error[E0277]: the trait bound `NotCopy: Copy` is not satisfied
--> $DIR/wf-static-type.rs:10:13
|
LL | static FOO: IsCopy<Option<NotCopy>> = IsCopy { t: None };
| ^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `NotCopy`, which is required by `Option<NotCopy>: Copy`
|
= note: required for `Option<NotCopy>` to implement `Copy`
note: required by a bound in `IsCopy`
--> $DIR/wf-static-type.rs:7:17
|
LL | struct IsCopy<T:Copy> { t: T }
| ^^^^ required by this bound in `IsCopy`
```
|
||
|---|---|---|
| .. | ||
| box-instead-of-dyn-fn.rs | ||
| box-instead-of-dyn-fn.stderr | ||
| issue-23649-1.rs | ||
| issue-23649-2.rs | ||
| issue-23649-3.rs | ||
| issue-30355.rs | ||
| issue-30355.stderr | ||
| issue-40231-1.rs | ||
| issue-40231-2.rs | ||
| issue-71659.current.stderr | ||
| issue-71659.next.stderr | ||
| issue-71659.rs | ||
| issue-75707.rs | ||
| issue-75707.stderr | ||
| issue-75899-but-gats.rs | ||
| issue-75899.rs | ||
| issue-91801.rs | ||
| issue-91801.stderr | ||
| issue-91803.rs | ||
| issue-91803.stderr | ||
| issue-97732.rs | ||
| issue-115203.rs | ||
| issue-115203.stderr | ||
| issue-115809.rs | ||
| issue-115809.stderr | ||
| maybe-bounds-where-cpass.rs | ||
| maybe-bounds-where.rs | ||
| maybe-bounds-where.stderr | ||
| param-mentioned-by-different-field.rs | ||
| param-mentioned-by-different-field.stderr | ||
| return-unsized-from-trait-method.rs | ||
| return-unsized-from-trait-method.stderr | ||
| unchanged-param.rs | ||
| unsize-coerce-multiple-adt-params.rs | ||
| unsized2.rs | ||
| unsized3-rpass.rs | ||
| unsized3.rs | ||
| unsized3.stderr | ||
| unsized5.rs | ||
| unsized5.stderr | ||
| unsized6.rs | ||
| unsized6.stderr | ||
| unsized7.rs | ||
| unsized7.stderr | ||
| unsized-bare-typaram.rs | ||
| unsized-bare-typaram.stderr | ||
| unsized-enum2.rs | ||
| unsized-enum2.stderr | ||
| unsized-enum.rs | ||
| unsized-enum.stderr | ||
| unsized-fn-arg.fixed | ||
| unsized-fn-arg.rs | ||
| unsized-fn-arg.stderr | ||
| unsized-fn-param.rs | ||
| unsized-fn-param.stderr | ||
| unsized-inherent-impl-self-type.rs | ||
| unsized-inherent-impl-self-type.stderr | ||
| unsized-struct.rs | ||
| unsized-struct.stderr | ||
| unsized-trait-impl-self-type.rs | ||
| unsized-trait-impl-self-type.stderr | ||
| unsized-trait-impl-trait-arg.rs | ||
| unsized-trait-impl-trait-arg.stderr | ||
| unsized-tuple-impls.rs | ||
| unsized.rs | ||