rust/tests/ui/auto-traits
Esteban Küber 5b54286640 Remove detail from label/note that is already available in other note
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`
```
2024-10-29 16:26:57 +00:00
..
assoc-ty.current.stderr Don't ICE when auto trait has assoc ty in old solver 2024-07-24 17:19:44 -04:00
assoc-ty.next.stderr Don't ICE when auto trait has assoc ty in old solver 2024-07-24 17:19:44 -04:00
assoc-ty.rs Don't ICE when auto trait has assoc ty in old solver 2024-07-24 17:19:44 -04:00
auto-is-contextual.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
auto-trait-projection-recursion.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
auto-trait-validation.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
auto-trait-validation.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
auto-trait-validation.stderr Update tests 2024-02-07 10:42:01 +08:00
auto-traits.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
auto-traits.stderr Update tests 2024-02-07 10:42:01 +08:00
bad-generics-on-dyn.rs
bad-generics-on-dyn.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
has-arguments.rs Extend builtin/auto trait args with error when they have >1 argument 2023-11-06 21:29:08 +00:00
has-arguments.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-23080-2.current.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
issue-23080-2.next.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
issue-23080-2.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
issue-23080.rs
issue-23080.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-83857-ub.rs Remove suspicious auto trait lint 2024-02-19 17:41:48 -03:00
issue-83857-ub.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
issue-84075.rs
issue-84075.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-117789.rs Remove suspicious auto trait lint 2024-02-19 17:41:48 -03:00
issue-117789.stderr Remove suspicious auto trait lint 2024-02-19 17:41:48 -03:00
pre-cfg.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
pre-cfg.stderr Bless tests 2024-01-13 12:46:58 -05:00
str-contains-slice-conceptually.rs Treat str as containing [u8] for auto trait purposes 2023-02-25 20:01:33 +00:00
str-contains-slice-conceptually.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
typeck-auto-trait-no-supertraits-2.rs Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
typeck-auto-trait-no-supertraits-2.stderr Mention when type parameter could be Clone 2024-04-24 22:21:15 +00:00
typeck-auto-trait-no-supertraits.rs
typeck-auto-trait-no-supertraits.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
typeck-default-trait-impl-constituent-types-2.rs
typeck-default-trait-impl-constituent-types-2.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
typeck-default-trait-impl-constituent-types.rs
typeck-default-trait-impl-constituent-types.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
typeck-default-trait-impl-negation.rs
typeck-default-trait-impl-negation.stderr
typeck-default-trait-impl-precedence.rs Use root obligation on E0277 for some cases 2024-03-03 18:53:35 +00:00
typeck-default-trait-impl-precedence.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00