Skip to content

Commit 26e4fa5

Browse files
committed
Bless tests
1 parent 166d602 commit 26e4fa5

9 files changed

+25
-27
lines changed

src/test/ui/associated-types/associated-types-for-unimpl-trait.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error[E0277]: the trait bound `Self: Get` is not satisfied
2-
--> $DIR/associated-types-for-unimpl-trait.rs:10:5
2+
--> $DIR/associated-types-for-unimpl-trait.rs:10:8
33
|
44
LL | fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) {}
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Get` is not implemented for `Self`
5+
| ^^^^ the trait `Get` is not implemented for `Self`
66
|
77
help: consider further restricting `Self`
88
|

src/test/ui/associated-types/associated-types-no-suitable-bound.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error[E0277]: the trait bound `T: Get` is not satisfied
2-
--> $DIR/associated-types-no-suitable-bound.rs:11:5
2+
--> $DIR/associated-types-no-suitable-bound.rs:11:8
33
|
44
LL | fn uhoh<T>(foo: <T as Get>::Value) {}
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Get` is not implemented for `T`
5+
| ^^^^ the trait `Get` is not implemented for `T`
66
|
77
help: consider restricting type parameter `T`
88
|

src/test/ui/associated-types/associated-types-no-suitable-supertrait-2.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error[E0277]: the trait bound `Self: Get` is not satisfied
2-
--> $DIR/associated-types-no-suitable-supertrait-2.rs:17:5
2+
--> $DIR/associated-types-no-suitable-supertrait-2.rs:17:8
33
|
44
LL | fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) {}
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Get` is not implemented for `Self`
5+
| ^^^^ the trait `Get` is not implemented for `Self`
66
|
77
help: consider further restricting `Self`
88
|

src/test/ui/associated-types/associated-types-no-suitable-supertrait.stderr

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,19 @@
11
error[E0277]: the trait bound `Self: Get` is not satisfied
2-
--> $DIR/associated-types-no-suitable-supertrait.rs:17:5
2+
--> $DIR/associated-types-no-suitable-supertrait.rs:17:8
33
|
44
LL | fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) {}
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Get` is not implemented for `Self`
5+
| ^^^^ the trait `Get` is not implemented for `Self`
66
|
77
help: consider further restricting `Self`
88
|
99
LL | fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) where Self: Get {}
1010
| ^^^^^^^^^^^^^^^
1111

1212
error[E0277]: the trait bound `(T, U): Get` is not satisfied
13-
--> $DIR/associated-types-no-suitable-supertrait.rs:22:5
13+
--> $DIR/associated-types-no-suitable-supertrait.rs:22:8
1414
|
1515
LL | fn uhoh<U:Get>(&self, foo: U, bar: <(T, U) as Get>::Value) {}
16-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Get` is not implemented for `(T, U)`
16+
| ^^^^ the trait `Get` is not implemented for `(T, U)`
1717

1818
error: aborting due to 2 previous errors
1919

src/test/ui/associated-types/associated-types-projection-to-unrelated-trait-in-method-without-default.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error[E0277]: the trait bound `Self: Get` is not satisfied
2-
--> $DIR/associated-types-projection-to-unrelated-trait-in-method-without-default.rs:10:5
2+
--> $DIR/associated-types-projection-to-unrelated-trait-in-method-without-default.rs:10:8
33
|
44
LL | fn okay<U:Get>(&self, foo: U, bar: <Self as Get>::Value);
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Get` is not implemented for `Self`
5+
| ^^^^ the trait `Get` is not implemented for `Self`
66
|
77
help: consider further restricting `Self`
88
|

src/test/ui/issues/issue-18611.stderr

+3-5
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,8 @@
11
error[E0277]: the trait bound `isize: HasState` is not satisfied
2-
--> $DIR/issue-18611.rs:1:1
2+
--> $DIR/issue-18611.rs:1:4
33
|
4-
LL | / fn add_state(op: <isize as HasState>::State) {
5-
LL | |
6-
LL | | }
7-
| |_^ the trait `HasState` is not implemented for `isize`
4+
LL | fn add_state(op: <isize as HasState>::State) {
5+
| ^^^^^^^^^ the trait `HasState` is not implemented for `isize`
86

97
error: aborting due to previous error
108

src/test/ui/issues/issue-20831-debruijn.stderr

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
2-
--> $DIR/issue-20831-debruijn.rs:28:33
2+
--> $DIR/issue-20831-debruijn.rs:28:8
33
|
44
LL | fn subscribe(&mut self, t : Box<dyn Subscriber<Input=<Self as Publisher>::Output> + 'a>) {
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5+
| ^^^^^^^^^
66
|
77
note: first, the lifetime cannot outlive the anonymous lifetime defined on the method body at 28:58...
88
--> $DIR/issue-20831-debruijn.rs:28:58
@@ -15,10 +15,10 @@ note: ...but the lifetime must also be valid for the lifetime `'a` as defined on
1515
LL | impl<'a> Publisher<'a> for MyStruct<'a> {
1616
| ^^
1717
note: ...so that the types are compatible
18-
--> $DIR/issue-20831-debruijn.rs:28:33
18+
--> $DIR/issue-20831-debruijn.rs:28:8
1919
|
2020
LL | fn subscribe(&mut self, t : Box<dyn Subscriber<Input=<Self as Publisher>::Output> + 'a>) {
21-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
21+
| ^^^^^^^^^
2222
= note: expected `Publisher<'_>`
2323
found `Publisher<'_>`
2424

src/test/ui/nll/normalization-bounds-error.stderr

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'d` due to conflicting requirements
2-
--> $DIR/normalization-bounds-error.rs:12:1
2+
--> $DIR/normalization-bounds-error.rs:12:4
33
|
44
LL | fn visit_seq<'d, 'a: 'd>() -> <&'a () as Visitor<'d>>::Value {}
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5+
| ^^^^^^^^^
66
|
77
note: first, the lifetime cannot outlive the lifetime `'d` as defined on the function body at 12:14...
88
--> $DIR/normalization-bounds-error.rs:12:14
@@ -15,10 +15,10 @@ note: ...but the lifetime must also be valid for the lifetime `'a` as defined on
1515
LL | fn visit_seq<'d, 'a: 'd>() -> <&'a () as Visitor<'d>>::Value {}
1616
| ^^
1717
note: ...so that the types are compatible
18-
--> $DIR/normalization-bounds-error.rs:12:1
18+
--> $DIR/normalization-bounds-error.rs:12:4
1919
|
2020
LL | fn visit_seq<'d, 'a: 'd>() -> <&'a () as Visitor<'d>>::Value {}
21-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
21+
| ^^^^^^^^^
2222
= note: expected `Visitor<'d>`
2323
found `Visitor<'_>`
2424

src/test/ui/wf/wf-foreign-fn-decl-ret.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error[E0277]: the trait bound `(): Foo` is not satisfied
2-
--> $DIR/wf-foreign-fn-decl-ret.rs:11:5
2+
--> $DIR/wf-foreign-fn-decl-ret.rs:11:12
33
|
44
LL | pub fn lint_me() -> <() as Foo>::Assoc;
5-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `()`
5+
| ^^^^^^^ the trait `Foo` is not implemented for `()`
66

77
error[E0277]: the trait bound `u32: Unsatisfied` is not satisfied
88
--> $DIR/wf-foreign-fn-decl-ret.rs:14:32

0 commit comments

Comments
 (0)