Skip to content

Commit f9fdd63

Browse files
matthiaskrgrmatthiaskrgr
authored
Rollup merge of #132157 - estebank:long-types-3, r=jieyouxu
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` ``` *Ignore first three commits from #132086
2 parents 5dc3639 + 5b54286 commit f9fdd63

File tree

223 files changed

+407
-418
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

223 files changed

+407
-418
lines changed

Diff for: ‎compiler/rustc_trait_selection/src/error_reporting/traits/suggestions.rs

+2-13
Original file line numberDiff line numberDiff line change
@@ -5105,32 +5105,21 @@ pub(super) fn get_explanation_based_on_obligation<'tcx>(
51055105
_ => None,
51065106
};
51075107

5108-
let pred = obligation.predicate;
5109-
let (_, base) = obligation.cause.code().peel_derives_with_predicate();
5110-
let post = if let ty::PredicateKind::Clause(clause) = pred.kind().skip_binder()
5111-
&& let ty::ClauseKind::Trait(pred) = clause
5112-
&& let Some(base) = base
5113-
&& base.skip_binder() != pred
5114-
{
5115-
format!(", which is required by `{base}`")
5116-
} else {
5117-
String::new()
5118-
};
51195108
let desc = match ty_desc {
51205109
Some(desc) => format!(" {desc}"),
51215110
None => String::new(),
51225111
};
51235112
if let ty::PredicatePolarity::Positive = trait_predicate.polarity() {
51245113
format!(
5125-
"{pre_message}the trait `{}` is not implemented for{desc} `{}`{post}",
5114+
"{pre_message}the trait `{}` is not implemented for{desc} `{}`",
51265115
trait_predicate.print_modifiers_and_trait_path(),
51275116
tcx.short_ty_string(trait_predicate.self_ty().skip_binder(), &mut None),
51285117
)
51295118
} else {
51305119
// "the trait bound `T: !Send` is not satisfied" reads better than "`!Send` is
51315120
// not implemented for `T`".
51325121
// FIXME: add note explaining explicit negative trait bounds.
5133-
format!("{pre_message}the trait bound `{trait_predicate}` is not satisfied{post}")
5122+
format!("{pre_message}the trait bound `{trait_predicate}` is not satisfied")
51345123
}
51355124
}
51365125
}

Diff for: ‎tests/ui/associated-consts/issue-58022.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ error[E0277]: the size for values of type `[u8]` cannot be known at compilation
1313
LL | fn new(slice: &[u8; Self::SIZE]) -> Self {
1414
| ^^^^ doesn't have a size known at compile-time
1515
|
16-
= help: within `Bar<[u8]>`, the trait `Sized` is not implemented for `[u8]`, which is required by `Bar<[u8]>: Sized`
16+
= help: within `Bar<[u8]>`, the trait `Sized` is not implemented for `[u8]`
1717
note: required because it appears within the type `Bar<[u8]>`
1818
--> $DIR/issue-58022.rs:8:12
1919
|

Diff for: ‎tests/ui/associated-type-bounds/return-type-notation/basic.without.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ error: future cannot be sent between threads safely
44
LL | is_send(foo::<T>());
55
| ^^^^^^^^^^ future returned by `foo` is not `Send`
66
|
7-
= help: within `impl Future<Output = Result<(), ()>>`, the trait `Send` is not implemented for `impl Future<Output = Result<(), ()>> { <T as Foo>::method(..) }`, which is required by `impl Future<Output = Result<(), ()>>: Send`
7+
= help: within `impl Future<Output = Result<(), ()>>`, the trait `Send` is not implemented for `impl Future<Output = Result<(), ()>> { <T as Foo>::method(..) }`
88
note: future is not `Send` as it awaits another future which is not `Send`
99
--> $DIR/basic.rs:12:5
1010
|

Diff for: ‎tests/ui/associated-type-bounds/return-type-notation/path-unsatisfied.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | fn method() -> impl Sized {
77
LL | test::<DoesntWork>();
88
| ^^^^^^^^^^ `*mut ()` cannot be sent between threads safely
99
|
10-
= help: within `impl Sized`, the trait `Send` is not implemented for `*mut ()`, which is required by `impl Sized: Send`
10+
= help: within `impl Sized`, the trait `Send` is not implemented for `*mut ()`
1111
note: required because it appears within the type `impl Sized`
1212
--> $DIR/path-unsatisfied.rs:9:20
1313
|

Diff for: ‎tests/ui/associated-types/defaults-suitability.current.stderr

+3-3
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ error[E0277]: the trait bound `T: Clone` is not satisfied
3939
--> $DIR/defaults-suitability.rs:31:23
4040
|
4141
LL | type Bar: Clone = Vec<T>;
42-
| ^^^^^^ the trait `Clone` is not implemented for `T`, which is required by `Vec<T>: Clone`
42+
| ^^^^^^ the trait `Clone` is not implemented for `T`
4343
|
4444
= note: required for `Vec<T>` to implement `Clone`
4545
note: required by a bound in `Foo::Bar`
@@ -88,7 +88,7 @@ error[E0277]: the trait bound `<Self as Foo2<T>>::Baz: Clone` is not satisfied
8888
--> $DIR/defaults-suitability.rs:68:23
8989
|
9090
LL | type Bar: Clone = Vec<Self::Baz>;
91-
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo2<T>>::Baz`, which is required by `Vec<<Self as Foo2<T>>::Baz>: Clone`
91+
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo2<T>>::Baz`
9292
|
9393
= note: required for `Vec<<Self as Foo2<T>>::Baz>` to implement `Clone`
9494
note: required by a bound in `Foo2::Bar`
@@ -105,7 +105,7 @@ error[E0277]: the trait bound `<Self as Foo25<T>>::Baz: Clone` is not satisfied
105105
--> $DIR/defaults-suitability.rs:77:23
106106
|
107107
LL | type Bar: Clone = Vec<Self::Baz>;
108-
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo25<T>>::Baz`, which is required by `Vec<<Self as Foo25<T>>::Baz>: Clone`
108+
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo25<T>>::Baz`
109109
|
110110
= note: required for `Vec<<Self as Foo25<T>>::Baz>` to implement `Clone`
111111
note: required by a bound in `Foo25::Bar`

Diff for: ‎tests/ui/associated-types/defaults-suitability.next.stderr

+3-3
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ error[E0277]: the trait bound `T: Clone` is not satisfied
3939
--> $DIR/defaults-suitability.rs:31:23
4040
|
4141
LL | type Bar: Clone = Vec<T>;
42-
| ^^^^^^ the trait `Clone` is not implemented for `T`, which is required by `Vec<T>: Clone`
42+
| ^^^^^^ the trait `Clone` is not implemented for `T`
4343
|
4444
= note: required for `Vec<T>` to implement `Clone`
4545
note: required by a bound in `Foo::Bar`
@@ -88,7 +88,7 @@ error[E0277]: the trait bound `<Self as Foo2<T>>::Baz: Clone` is not satisfied
8888
--> $DIR/defaults-suitability.rs:68:23
8989
|
9090
LL | type Bar: Clone = Vec<Self::Baz>;
91-
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo2<T>>::Baz`, which is required by `Vec<<Self as Foo2<T>>::Baz>: Clone`
91+
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo2<T>>::Baz`
9292
|
9393
= note: required for `Vec<<Self as Foo2<T>>::Baz>` to implement `Clone`
9494
note: required by a bound in `Foo2::Bar`
@@ -105,7 +105,7 @@ error[E0277]: the trait bound `<Self as Foo25<T>>::Baz: Clone` is not satisfied
105105
--> $DIR/defaults-suitability.rs:77:23
106106
|
107107
LL | type Bar: Clone = Vec<Self::Baz>;
108-
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo25<T>>::Baz`, which is required by `Vec<<Self as Foo25<T>>::Baz>: Clone`
108+
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo25<T>>::Baz`
109109
|
110110
= note: required for `Vec<<Self as Foo25<T>>::Baz>` to implement `Clone`
111111
note: required by a bound in `Foo25::Bar`

Diff for: ‎tests/ui/associated-types/hr-associated-type-bound-1.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `str: Clone` is not satisfied
22
--> $DIR/hr-associated-type-bound-1.rs:12:14
33
|
44
LL | type U = str;
5-
| ^^^ the trait `Clone` is not implemented for `str`, which is required by `for<'b> <i32 as X<'b>>::U: Clone`
5+
| ^^^ the trait `Clone` is not implemented for `str`
66
|
77
= help: the trait `Clone` is implemented for `String`
88
note: required by a bound in `X`

Diff for: ‎tests/ui/associated-types/hr-associated-type-bound-param-1.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `str: Clone` is not satisfied
22
--> $DIR/hr-associated-type-bound-param-1.rs:14:14
33
|
44
LL | type V = str;
5-
| ^^^ the trait `Clone` is not implemented for `str`, which is required by `for<'b> <u8 as Y<'b, u8>>::V: Clone`
5+
| ^^^ the trait `Clone` is not implemented for `str`
66
|
77
= help: the trait `Clone` is implemented for `String`
88
note: required by a bound in `Y`

Diff for: ‎tests/ui/associated-types/hr-associated-type-bound-param-2.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ error[E0277]: the trait bound `str: Clone` is not satisfied
1818
--> $DIR/hr-associated-type-bound-param-2.rs:17:14
1919
|
2020
LL | type W = str;
21-
| ^^^ the trait `Clone` is not implemented for `str`, which is required by `for<'b> <u16 as Z<'b, u16>>::W: Clone`
21+
| ^^^ the trait `Clone` is not implemented for `str`
2222
|
2323
= help: the trait `Clone` is implemented for `String`
2424
note: required by a bound in `Z`

Diff for: ‎tests/ui/associated-types/hr-associated-type-bound-param-3.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `str: Clone` is not satisfied
22
--> $DIR/hr-associated-type-bound-param-3.rs:13:14
33
|
44
LL | type U = str;
5-
| ^^^ the trait `Clone` is not implemented for `str`, which is required by `for<'b> <(T,) as X<'b, (T,)>>::U: Clone`
5+
| ^^^ the trait `Clone` is not implemented for `str`
66
|
77
= help: the trait `Clone` is implemented for `String`
88
note: required by a bound in `X`

Diff for: ‎tests/ui/associated-types/hr-associated-type-bound-param-4.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `str: Clone` is not satisfied
22
--> $DIR/hr-associated-type-bound-param-4.rs:13:14
33
|
44
LL | type U = str;
5-
| ^^^ the trait `Clone` is not implemented for `str`, which is required by `for<'b> <(T,) as X<'b, T>>::U: Clone`
5+
| ^^^ the trait `Clone` is not implemented for `str`
66
|
77
= help: the trait `Clone` is implemented for `String`
88
note: required by a bound in `X`

Diff for: ‎tests/ui/associated-types/hr-associated-type-bound-param-5.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `str: Clone` is not satisfied
22
--> $DIR/hr-associated-type-bound-param-5.rs:26:14
33
|
44
LL | type U = str;
5-
| ^^^ the trait `Clone` is not implemented for `str`, which is required by `for<'b> <<Vec<T> as Cycle>::Next as X<'b, <Vec<T> as Cycle>::Next>>::U: Clone`
5+
| ^^^ the trait `Clone` is not implemented for `str`
66
|
77
= help: the trait `Clone` is implemented for `String`
88
note: required by a bound in `X`
@@ -18,7 +18,7 @@ error[E0277]: the trait bound `str: Clone` is not satisfied
1818
--> $DIR/hr-associated-type-bound-param-5.rs:31:14
1919
|
2020
LL | type U = str;
21-
| ^^^ the trait `Clone` is not implemented for `str`, which is required by `for<'b> <<Box<T> as Cycle>::Next as X<'b, <Box<T> as Cycle>::Next>>::U: Clone`
21+
| ^^^ the trait `Clone` is not implemented for `str`
2222
|
2323
= help: the trait `Clone` is implemented for `String`
2424
note: required by a bound in `X`

Diff for: ‎tests/ui/associated-types/issue-38821.stderr

+18-18
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
22
--> $DIR/issue-38821.rs:40:1
33
|
44
LL | pub enum ColumnInsertValue<Col, Expr> where
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
5+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
66
|
77
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
88
--> $DIR/issue-38821.rs:9:18
@@ -26,7 +26,7 @@ LL | | Col: Column,
2626
... |
2727
LL | | Default(Col),
2828
LL | | }
29-
| |_^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
29+
| |_^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
3030
|
3131
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
3232
--> $DIR/issue-38821.rs:9:18
@@ -44,7 +44,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
4444
--> $DIR/issue-38821.rs:23:10
4545
|
4646
LL | #[derive(Debug, Copy, Clone)]
47-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
47+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
4848
|
4949
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
5050
--> $DIR/issue-38821.rs:9:18
@@ -63,7 +63,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
6363
--> $DIR/issue-38821.rs:23:10
6464
|
6565
LL | #[derive(Debug, Copy, Clone)]
66-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
66+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
6767
|
6868
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
6969
--> $DIR/issue-38821.rs:9:18
@@ -83,7 +83,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
8383
--> $DIR/issue-38821.rs:23:10
8484
|
8585
LL | #[derive(Debug, Copy, Clone)]
86-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
86+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
8787
|
8888
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
8989
--> $DIR/issue-38821.rs:9:18
@@ -98,7 +98,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
9898
--> $DIR/issue-38821.rs:23:10
9999
|
100100
LL | #[derive(Debug, Copy, Clone)]
101-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
101+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
102102
|
103103
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
104104
--> $DIR/issue-38821.rs:9:18
@@ -114,7 +114,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
114114
--> $DIR/issue-38821.rs:23:17
115115
|
116116
LL | #[derive(Debug, Copy, Clone)]
117-
| ^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
117+
| ^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
118118
|
119119
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
120120
--> $DIR/issue-38821.rs:9:18
@@ -133,7 +133,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
133133
--> $DIR/issue-38821.rs:23:17
134134
|
135135
LL | #[derive(Debug, Copy, Clone)]
136-
| ^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
136+
| ^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
137137
|
138138
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
139139
--> $DIR/issue-38821.rs:9:18
@@ -153,7 +153,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
153153
--> $DIR/issue-38821.rs:23:23
154154
|
155155
LL | #[derive(Debug, Copy, Clone)]
156-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
156+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
157157
|
158158
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
159159
--> $DIR/issue-38821.rs:9:18
@@ -172,7 +172,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
172172
--> $DIR/issue-38821.rs:23:23
173173
|
174174
LL | #[derive(Debug, Copy, Clone)]
175-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
175+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
176176
|
177177
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
178178
--> $DIR/issue-38821.rs:9:18
@@ -192,7 +192,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
192192
--> $DIR/issue-38821.rs:23:23
193193
|
194194
LL | #[derive(Debug, Copy, Clone)]
195-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
195+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
196196
|
197197
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
198198
--> $DIR/issue-38821.rs:9:18
@@ -207,7 +207,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
207207
--> $DIR/issue-38821.rs:23:23
208208
|
209209
LL | #[derive(Debug, Copy, Clone)]
210-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
210+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
211211
|
212212
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
213213
--> $DIR/issue-38821.rs:9:18
@@ -223,7 +223,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
223223
--> $DIR/issue-38821.rs:23:10
224224
|
225225
LL | #[derive(Debug, Copy, Clone)]
226-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
226+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
227227
|
228228
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
229229
--> $DIR/issue-38821.rs:9:18
@@ -239,7 +239,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
239239
--> $DIR/issue-38821.rs:23:10
240240
|
241241
LL | #[derive(Debug, Copy, Clone)]
242-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
242+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
243243
|
244244
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
245245
--> $DIR/issue-38821.rs:9:18
@@ -255,7 +255,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
255255
--> $DIR/issue-38821.rs:23:23
256256
|
257257
LL | #[derive(Debug, Copy, Clone)]
258-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
258+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
259259
|
260260
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
261261
--> $DIR/issue-38821.rs:9:18
@@ -271,7 +271,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
271271
--> $DIR/issue-38821.rs:23:23
272272
|
273273
LL | #[derive(Debug, Copy, Clone)]
274-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
274+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
275275
|
276276
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
277277
--> $DIR/issue-38821.rs:9:18
@@ -287,7 +287,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
287287
--> $DIR/issue-38821.rs:23:10
288288
|
289289
LL | #[derive(Debug, Copy, Clone)]
290-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
290+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
291291
|
292292
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
293293
--> $DIR/issue-38821.rs:9:18
@@ -303,7 +303,7 @@ error[E0277]: the trait bound `<Col as Expression>::SqlType: NotNull` is not sat
303303
--> $DIR/issue-38821.rs:23:23
304304
|
305305
LL | #[derive(Debug, Copy, Clone)]
306-
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`, which is required by `<Col as Expression>::SqlType: IntoNullable`
306+
| ^^^^^ the trait `NotNull` is not implemented for `<Col as Expression>::SqlType`
307307
|
308308
note: required for `<Col as Expression>::SqlType` to implement `IntoNullable`
309309
--> $DIR/issue-38821.rs:9:18

Diff for: ‎tests/ui/associated-types/issue-43784-associated-type.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ error[E0277]: the trait bound `T: Copy` is not satisfied
22
--> $DIR/issue-43784-associated-type.rs:14:18
33
|
44
LL | type Assoc = T;
5-
| ^ the trait `Copy` is not implemented for `T`, which is required by `<T as Complete>::Assoc: Partial<T>`
5+
| ^ the trait `Copy` is not implemented for `T`
66
|
77
note: required for `<T as Complete>::Assoc` to implement `Partial<T>`
88
--> $DIR/issue-43784-associated-type.rs:1:11

0 commit comments

Comments
 (0)