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
..
2024-10-29 16:26:57 +00:00
2024-02-16 20:02:50 +00:00
2024-03-11 19:42:04 +00:00
2024-02-16 20:02:50 +00:00
2024-08-10 00:54:16 +00:00
2024-09-21 22:17:18 +01:00
2024-09-16 10:55:07 -04:00
2024-10-29 16:26:57 +00:00
2024-10-14 20:24:30 +02:00
2024-10-29 16:26:57 +00:00
2024-03-20 17:29:58 +00:00
2024-09-29 23:40:43 -05:00
2024-09-22 13:55:06 -04:00
2024-06-05 20:08:00 -04:00
2024-09-29 23:40:43 -05:00
2024-09-29 23:40:43 -05:00
2024-09-20 09:41:16 +08:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-07-09 07:44:17 +00:00
2024-07-09 07:44:17 +00:00
2024-02-16 20:02:50 +00:00
2024-03-01 02:03:00 +00:00
2024-01-23 15:23:22 +00:00
2024-01-23 15:23:22 +00:00
2024-09-12 13:56:01 -04:00
2024-09-12 13:56:01 -04:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-06-28 10:57:35 +00:00
2024-07-09 07:44:17 +00:00
2024-07-09 07:44:17 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-03-21 00:03:59 +00:00
2024-02-14 11:00:30 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-04-10 20:36:14 +00:00
2024-04-10 20:36:14 +00:00
2024-04-10 20:36:14 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-09-29 23:40:43 -05:00
2024-09-29 23:40:43 -05:00
2024-09-29 23:40:43 -05:00
2024-02-16 20:02:50 +00:00
2024-09-29 23:40:43 -05:00
2024-02-16 20:02:50 +00:00
2024-06-05 22:25:42 +01:00
2024-06-05 22:25:42 +01:00
2024-06-05 22:25:42 +01:00
2024-07-17 11:01:29 +01:00
2024-08-18 00:07:41 +02:00
2024-02-16 20:02:50 +00:00
2024-08-03 07:57:31 -04:00
2024-09-29 23:40:43 -05:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-07 10:42:01 +08:00
2024-03-21 00:03:59 +00:00
2024-02-16 20:02:50 +00:00
2024-06-12 12:34:47 +00:00
2024-02-16 20:02:50 +00:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-09-29 23:40:43 -05:00
2024-03-21 00:03:59 +00:00
2024-02-16 20:02:50 +00:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-09-29 23:40:43 -05:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-09-29 23:40:43 -05:00
2024-07-17 11:01:29 +01:00
2024-02-16 20:02:50 +00:00
2024-09-29 23:40:43 -05:00
2024-03-21 20:36:13 +01:00
2024-03-21 20:36:13 +01:00
2024-02-16 20:02:50 +00:00
2024-07-22 22:51:53 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-09-29 23:40:43 -05:00
2024-07-17 11:01:29 +01:00
2024-07-22 22:51:53 +00:00
2024-07-22 22:51:53 +00:00
2024-09-07 09:23:28 +08:00
2024-02-18 19:16:17 -03:00
2024-02-16 20:02:50 +00:00
2024-02-01 16:18:03 +01:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-10-26 11:35:56 +08:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-04-16 11:52:12 +00:00
2024-10-29 16:26:57 +00:00
2024-02-16 20:02:50 +00:00
2024-07-11 20:39:24 +00:00
2024-02-16 20:02:50 +00:00
2024-09-29 23:40:43 -05:00
2024-09-29 23:40:43 -05:00
2024-05-14 20:28:55 +08:00
2024-05-14 20:28:55 +08:00
2024-06-19 04:41:56 +00:00
2024-06-19 04:41:56 +00:00
2024-09-29 23:40:43 -05:00
2024-02-16 20:02:50 +00:00
2024-10-11 17:36:04 +02:00
2024-10-11 17:36:04 +02:00
2024-04-04 15:02:27 +00:00
2024-04-04 15:02:27 +00:00
2024-06-12 08:53:59 +00:00
2024-10-04 23:38:41 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-06-19 14:58:29 +00:00
2024-02-16 20:02:50 +00:00
2024-06-28 10:18:20 -04:00
2024-09-29 23:40:43 -05:00
2024-02-16 20:02:50 +00:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-09-29 23:40:43 -05:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-09-29 23:40:43 -05:00
2024-07-17 11:01:29 +01:00
2024-07-16 19:27:28 -07:00
2024-07-16 19:27:28 -07:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-09-29 23:40:43 -05:00
2024-07-17 11:01:29 +01:00
2024-07-17 11:01:29 +01:00
2024-07-09 07:44:17 +00:00
2024-07-09 07:44:17 +00:00
2024-02-16 20:02:50 +00:00
2024-07-17 11:01:29 +01:00
2024-09-29 23:40:43 -05:00
2024-07-17 11:01:29 +01:00
2024-09-20 10:01:02 -07:00
2024-09-20 10:02:14 -07:00
2024-03-21 10:45:30 +00:00
2024-08-03 07:57:31 -04:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-09-12 13:56:01 -04:00
2024-09-12 13:56:01 -04:00
2024-06-05 22:25:42 +01:00
2024-06-05 22:25:42 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-06-19 14:58:29 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-02-01 16:18:03 +01:00
2024-02-01 16:18:03 +01:00
2024-02-16 20:02:50 +00:00
2024-02-16 20:02:50 +00:00
2024-09-24 10:12:05 -04:00
2024-09-24 10:12:05 -04:00