Skip to content

Commit

Permalink
Update .stderr
Browse files Browse the repository at this point in the history
  • Loading branch information
@kper
kper committed Feb 12, 2021
1 parent fba2f88 commit 1adc6be
Show file tree
Hide file tree
Showing 3 changed files with 128 additions and 2 deletions.
20 changes: 20 additions & 0 deletions src/test/ui/did_you_mean/bad-assoc-ty.stderr
View file
Expand Up @@ -129,18 +129,33 @@ LL | fn foo<X: K<_, _>>(x: X) {}
| ^ ^ not allowed in type signatures
| |
| not allowed in type signatures
|
help: use type parameters instead
|
LL | fn foo<X: K<T, T>, T>(x: X) {}
| ^ ^ ^^^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/bad-assoc-ty.rs:52:34
|
LL | fn bar<F>(_: F) where F: Fn() -> _ {}
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn bar<F, T>(_: F) where F: Fn() -> T {}
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/bad-assoc-ty.rs:55:19
|
LL | fn baz<F: Fn() -> _>(_: F) {}
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn baz<F: Fn() -> T, T>(_: F) {}
| ^^^^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/bad-assoc-ty.rs:58:33
Expand Down Expand Up @@ -202,6 +217,11 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn foo<F>(_: F) where F: Fn() -> _ {}
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn foo<F, T>(_: F) where F: Fn() -> T {}
| ^^^ ^

error: aborting due to 28 previous errors

Expand Down
10 changes: 10 additions & 0 deletions src/test/ui/self/self-infer.stderr
View file
Expand Up @@ -3,12 +3,22 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn f(self: _) {}
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn f<T>(self: T) {}
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/self-infer.rs:5:17
|
LL | fn g(self: &_) {}
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn g<T>(self: &T) {}
| ^^^ ^

error: aborting due to 2 previous errors

Expand Down
100 changes: 98 additions & 2 deletions src/test/ui/typeck/typeck_type_placeholder_item.stderr
View file
Expand Up @@ -92,36 +92,64 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn test6(_: _) { }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn test6<T>(_: T) { }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:24:18
|
LL | fn test6_b<T>(_: _, _: T) { }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn test6_b<T, U>(_: U, _: T) { }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:27:30
|
LL | fn test6_c<T, K, L, A, B>(_: _, _: (T, K, L, A, B)) { }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn test6_c<T, K, L, A, B, U>(_: U, _: (T, K, L, A, B)) { }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:30:13
|
LL | fn test7(x: _) { let _x: usize = x; }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn test7<T>(x: T) { let _x: usize = x; }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:33:22
|
LL | fn test8(_f: fn() -> _) { }
| ^ not allowed in type signatures
| ^
| |
| not allowed in type signatures
| help: use type parameters instead: `T`

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:33:22
|
LL | fn test8(_f: fn() -> _) { }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn test8<T>(_f: fn() -> T) { }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:47:26
Expand Down Expand Up @@ -229,24 +257,42 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn fn_test6(_: _) { }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn fn_test6<T>(_: T) { }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:97:20
|
LL | fn fn_test7(x: _) { let _x: usize = x; }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn fn_test7<T>(x: T) { let _x: usize = x; }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:100:29
|
LL | fn fn_test8(_f: fn() -> _) { }
| ^ not allowed in type signatures
| ^
| |
| not allowed in type signatures
| help: use type parameters instead: `T`

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:100:29
|
LL | fn fn_test8(_f: fn() -> _) { }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn fn_test8<T>(_f: fn() -> T) { }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:123:12
Expand Down Expand Up @@ -369,6 +415,11 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn method_test1(&self, x: _);
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn method_test1<T>(&self, x: T);
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:142:31
Expand All @@ -377,18 +428,33 @@ LL | fn method_test2(&self, x: _) -> _;
| ^ ^ not allowed in type signatures
| |
| not allowed in type signatures
|
help: use type parameters instead
|
LL | fn method_test2<T>(&self, x: T) -> T;
| ^^^ ^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:144:31
|
LL | fn method_test3(&self) -> _;
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn method_test3<T>(&self) -> T;
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:146:26
|
LL | fn assoc_fn_test1(x: _);
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn assoc_fn_test1<T>(x: T);
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:148:26
Expand All @@ -397,12 +463,22 @@ LL | fn assoc_fn_test2(x: _) -> _;
| ^ ^ not allowed in type signatures
| |
| not allowed in type signatures
|
help: use type parameters instead
|
LL | fn assoc_fn_test2<T>(x: T) -> T;
| ^^^ ^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:150:28
|
LL | fn assoc_fn_test3() -> _;
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn assoc_fn_test3<T>() -> T;
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:190:14
Expand Down Expand Up @@ -445,6 +521,11 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn test10(&self, _x : _) { }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn test10<T>(&self, _x : T) { }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:58:24
Expand All @@ -460,6 +541,11 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn clone_from(&mut self, other: _) { *self = Test9; }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn clone_from<T>(&mut self, other: T) { *self = Test9; }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:107:31
Expand All @@ -475,6 +561,11 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn fn_test10(&self, _x : _) { }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn fn_test10<T>(&self, _x : T) { }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:115:28
Expand All @@ -490,6 +581,11 @@ error[E0121]: the type placeholder `_` is not allowed within types on item signa
|
LL | fn clone_from(&mut self, other: _) { *self = FnTest9; }
| ^ not allowed in type signatures
|
help: use type parameters instead
|
LL | fn clone_from<T>(&mut self, other: T) { *self = FnTest9; }
| ^^^ ^

error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> $DIR/typeck_type_placeholder_item.rs:201:14
Expand Down

0 comments on commit 1adc6be

Please sign in to comment.