mirror of https://github.com/rust-lang/rust
700 lines
26 KiB
Plaintext
700 lines
26 KiB
Plaintext
error: expected identifier, found reserved identifier `_`
|
|
--> $DIR/typeck_type_placeholder_item.rs:154:18
|
|
|
|
|
LL | struct BadStruct<_>(_);
|
|
| ^ expected identifier, found reserved identifier
|
|
|
|
error: expected identifier, found reserved identifier `_`
|
|
--> $DIR/typeck_type_placeholder_item.rs:157:16
|
|
|
|
|
LL | trait BadTrait<_> {}
|
|
| ^ expected identifier, found reserved identifier
|
|
|
|
error: expected identifier, found reserved identifier `_`
|
|
--> $DIR/typeck_type_placeholder_item.rs:167:19
|
|
|
|
|
LL | struct BadStruct1<_, _>(_);
|
|
| ^ expected identifier, found reserved identifier
|
|
|
|
error: expected identifier, found reserved identifier `_`
|
|
--> $DIR/typeck_type_placeholder_item.rs:167:22
|
|
|
|
|
LL | struct BadStruct1<_, _>(_);
|
|
| ^ expected identifier, found reserved identifier
|
|
|
|
error: expected identifier, found reserved identifier `_`
|
|
--> $DIR/typeck_type_placeholder_item.rs:172:19
|
|
|
|
|
LL | struct BadStruct2<_, T>(_, T);
|
|
| ^ expected identifier, found reserved identifier
|
|
|
|
error: associated constant in `impl` without body
|
|
--> $DIR/typeck_type_placeholder_item.rs:206:5
|
|
|
|
|
LL | const C: _;
|
|
| ^^^^^^^^^^-
|
|
| |
|
|
| help: provide a definition for the constant: `= <expr>;`
|
|
|
|
error[E0403]: the name `_` is already used for a generic parameter in this item's generic parameters
|
|
--> $DIR/typeck_type_placeholder_item.rs:167:22
|
|
|
|
|
LL | struct BadStruct1<_, _>(_);
|
|
| - ^ already used
|
|
| |
|
|
| first use of `_`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:7:14
|
|
|
|
|
LL | fn test() -> _ { 5 }
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct return type: `i32`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:10:16
|
|
|
|
|
LL | fn test2() -> (_, _) { (5, 5) }
|
|
| -^--^-
|
|
| || |
|
|
| || not allowed in type signatures
|
|
| |not allowed in type signatures
|
|
| help: replace with the correct return type: `(i32, i32)`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
|
--> $DIR/typeck_type_placeholder_item.rs:13:15
|
|
|
|
|
LL | static TEST3: _ = "test";
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct type: `&str`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
|
--> $DIR/typeck_type_placeholder_item.rs:16:15
|
|
|
|
|
LL | static TEST4: _ = 145;
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct type: `i32`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
|
--> $DIR/typeck_type_placeholder_item.rs:19:15
|
|
|
|
|
LL | static TEST5: (_, _) = (1, 2);
|
|
| ^^^^^^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:22:13
|
|
|
|
|
LL | fn test6(_: _) { }
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
LL | fn test6<T>(_: T) { }
|
|
| +++ ~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:25: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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:28: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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:31: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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:34:22
|
|
|
|
|
LL | fn test8(_f: fn() -> _) { }
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: use type parameters instead: `T`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:34: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 placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:48:26
|
|
|
|
|
LL | fn test11(x: &usize) -> &_ {
|
|
| -^
|
|
| ||
|
|
| |not allowed in type signatures
|
|
| help: replace with the correct return type: `&'static &'static usize`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:53:52
|
|
|
|
|
LL | unsafe fn test12(x: *const usize) -> *const *const _ {
|
|
| --------------^
|
|
| | |
|
|
| | not allowed in type signatures
|
|
| help: replace with the correct return type: `*const *const usize`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:59:24
|
|
|
|
|
LL | fn clone(&self) -> _ { Test9 }
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: try replacing `_` with the type in the corresponding trait method signature
|
|
|
|
|
LL | fn clone(&self) -> Test9 { Test9 }
|
|
| ~~~~~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:62:37
|
|
|
|
|
LL | fn clone_from(&mut self, other: _) { *self = Test9; }
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: try replacing `_` with the type in the corresponding trait method signature
|
|
|
|
|
LL | fn clone_from(&mut self, other: &Test9) { *self = Test9; }
|
|
| ~~~~~~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
|
|
--> $DIR/typeck_type_placeholder_item.rs:67:8
|
|
|
|
|
LL | a: _,
|
|
| ^ not allowed in type signatures
|
|
LL |
|
|
LL | b: (_, _),
|
|
| ^ ^ not allowed in type signatures
|
|
| |
|
|
| not allowed in type signatures
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
LL ~ struct Test10<T> {
|
|
LL ~ a: T,
|
|
LL |
|
|
LL ~ b: (T, T),
|
|
|
|
|
|
|
error: missing type for `static` item
|
|
--> $DIR/typeck_type_placeholder_item.rs:73:13
|
|
|
|
|
LL | static A = 42;
|
|
| ^ help: provide a type for the static variable: `: i32`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
|
--> $DIR/typeck_type_placeholder_item.rs:75:15
|
|
|
|
|
LL | static B: _ = 42;
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct type: `i32`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
|
--> $DIR/typeck_type_placeholder_item.rs:77:15
|
|
|
|
|
LL | static C: Option<_> = Some(42);
|
|
| ^^^^^^^^^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:79:21
|
|
|
|
|
LL | fn fn_test() -> _ { 5 }
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct return type: `i32`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:82:23
|
|
|
|
|
LL | fn fn_test2() -> (_, _) { (5, 5) }
|
|
| -^--^-
|
|
| || |
|
|
| || not allowed in type signatures
|
|
| |not allowed in type signatures
|
|
| help: replace with the correct return type: `(i32, i32)`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
|
--> $DIR/typeck_type_placeholder_item.rs:85:22
|
|
|
|
|
LL | static FN_TEST3: _ = "test";
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct type: `&str`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
|
--> $DIR/typeck_type_placeholder_item.rs:88:22
|
|
|
|
|
LL | static FN_TEST4: _ = 145;
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct type: `i32`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
|
--> $DIR/typeck_type_placeholder_item.rs:91:22
|
|
|
|
|
LL | static FN_TEST5: (_, _) = (1, 2);
|
|
| ^^^^^^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:94:20
|
|
|
|
|
LL | fn fn_test6(_: _) { }
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
LL | fn fn_test6<T>(_: T) { }
|
|
| +++ ~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:100:29
|
|
|
|
|
LL | fn fn_test8(_f: fn() -> _) { }
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: use type parameters instead: `T`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:115:28
|
|
|
|
|
LL | fn clone(&self) -> _ { FnTest9 }
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: try replacing `_` with the type in the corresponding trait method signature
|
|
|
|
|
LL | fn clone(&self) -> FnTest9 { FnTest9 }
|
|
| ~~~~~~~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:118:41
|
|
|
|
|
LL | fn clone_from(&mut self, other: _) { *self = FnTest9; }
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: try replacing `_` with the type in the corresponding trait method signature
|
|
|
|
|
LL | fn clone_from(&mut self, other: &FnTest9) { *self = FnTest9; }
|
|
| ~~~~~~~~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
|
|
--> $DIR/typeck_type_placeholder_item.rs:123:12
|
|
|
|
|
LL | a: _,
|
|
| ^ not allowed in type signatures
|
|
LL |
|
|
LL | b: (_, _),
|
|
| ^ ^ not allowed in type signatures
|
|
| |
|
|
| not allowed in type signatures
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
LL ~ struct FnTest10<T> {
|
|
LL ~ a: T,
|
|
LL |
|
|
LL ~ b: (T, T),
|
|
|
|
|
|
|
error[E0282]: type annotations needed
|
|
--> $DIR/typeck_type_placeholder_item.rs:128:18
|
|
|
|
|
LL | fn fn_test11(_: _) -> (_, _) { panic!() }
|
|
| ^ cannot infer type
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:128:28
|
|
|
|
|
LL | fn fn_test11(_: _) -> (_, _) { panic!() }
|
|
| ^ ^ not allowed in type signatures
|
|
| |
|
|
| not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:132:30
|
|
|
|
|
LL | fn fn_test12(x: i32) -> (_, _) { (x, x) }
|
|
| -^--^-
|
|
| || |
|
|
| || not allowed in type signatures
|
|
| |not allowed in type signatures
|
|
| help: replace with the correct return type: `(i32, i32)`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:135:33
|
|
|
|
|
LL | fn fn_test13(x: _) -> (i32, _) { (x, x) }
|
|
| ------^-
|
|
| | |
|
|
| | not allowed in type signatures
|
|
| help: replace with the correct return type: `(i32, i32)`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:140:31
|
|
|
|
|
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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:142:31
|
|
|
|
|
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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:148:26
|
|
|
|
|
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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $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 placeholder `_` is not allowed within types on item signatures for structs
|
|
--> $DIR/typeck_type_placeholder_item.rs:154:21
|
|
|
|
|
LL | struct BadStruct<_>(_);
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
LL | struct BadStruct<T>(T);
|
|
| ~ ~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for implementations
|
|
--> $DIR/typeck_type_placeholder_item.rs:159:15
|
|
|
|
|
LL | impl BadTrait<_> for BadStruct<_> {}
|
|
| ^ ^ not allowed in type signatures
|
|
| |
|
|
| not allowed in type signatures
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
LL | impl<T> BadTrait<T> for BadStruct<T> {}
|
|
| +++ ~ ~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for opaque types
|
|
--> $DIR/typeck_type_placeholder_item.rs:162:34
|
|
|
|
|
LL | fn impl_trait() -> impl BadTrait<_> {
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
|
|
--> $DIR/typeck_type_placeholder_item.rs:167:25
|
|
|
|
|
LL | struct BadStruct1<_, _>(_);
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
LL | struct BadStruct1<T, _>(T);
|
|
| ~ ~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
|
|
--> $DIR/typeck_type_placeholder_item.rs:172:25
|
|
|
|
|
LL | struct BadStruct2<_, T>(_, T);
|
|
| ^ not allowed in type signatures
|
|
|
|
|
help: use type parameters instead
|
|
|
|
|
LL | struct BadStruct2<U, T>(U, T);
|
|
| ~ ~
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for type aliases
|
|
--> $DIR/typeck_type_placeholder_item.rs:176:14
|
|
|
|
|
LL | type X = Box<_>;
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for opaque types
|
|
--> $DIR/typeck_type_placeholder_item.rs:182:21
|
|
|
|
|
LL | type Y = impl Trait<_>;
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:44:27
|
|
|
|
|
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 placeholder `_` is not allowed within types on item signatures for functions
|
|
--> $DIR/typeck_type_placeholder_item.rs:110:34
|
|
|
|
|
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 placeholder `_` is not allowed within types on item signatures for associated constants
|
|
--> $DIR/typeck_type_placeholder_item.rs:194:14
|
|
|
|
|
LL | const D: _ = 42;
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct type: `i32`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:217:31
|
|
|
|
|
LL | fn value() -> Option<&'static _> {
|
|
| ----------------^-
|
|
| | |
|
|
| | not allowed in type signatures
|
|
| help: replace with the correct return type: `Option<&'static u8>`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
|
--> $DIR/typeck_type_placeholder_item.rs:222:10
|
|
|
|
|
LL | const _: Option<_> = map(value);
|
|
| ^^^^^^^^^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct type: `Option<u8>`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated constants
|
|
--> $DIR/typeck_type_placeholder_item.rs:206:14
|
|
|
|
|
LL | const C: _;
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated constants
|
|
--> $DIR/typeck_type_placeholder_item.rs:209:14
|
|
|
|
|
LL | const D: _ = 42;
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0046]: not all trait items implemented, missing: `F`
|
|
--> $DIR/typeck_type_placeholder_item.rs:200:1
|
|
|
|
|
LL | type F: std::ops::Fn(_);
|
|
| ----------------------- `F` from trait
|
|
...
|
|
LL | impl Qux for Struct {
|
|
| ^^^^^^^^^^^^^^^^^^^ missing `F` in implementation
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:225:31
|
|
|
|
|
LL | fn evens_squared(n: usize) -> _ {
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with an appropriate return type: `impl Iterator<Item = usize>`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
|
--> $DIR/typeck_type_placeholder_item.rs:230:10
|
|
|
|
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
|
|
| ^ not allowed in type signatures
|
|
|
|
|
note: however, the inferred type `Map<Filter<Range<i32>, {closure@typeck_type_placeholder_item.rs:230:29}>, {closure@typeck_type_placeholder_item.rs:230:49}>` cannot be named
|
|
--> $DIR/typeck_type_placeholder_item.rs:230:14
|
|
|
|
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:41:24
|
|
|
|
|
LL | fn test9(&self) -> _ { () }
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct return type: `()`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
|
--> $DIR/typeck_type_placeholder_item.rs:107:31
|
|
|
|
|
LL | fn fn_test9(&self) -> _ { () }
|
|
| ^
|
|
| |
|
|
| not allowed in type signatures
|
|
| help: replace with the correct return type: `()`
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
|
|
--> $DIR/typeck_type_placeholder_item.rs:202:14
|
|
|
|
|
LL | type A = _;
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
|
|
--> $DIR/typeck_type_placeholder_item.rs:204:14
|
|
|
|
|
LL | type B = _;
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
|
|
--> $DIR/typeck_type_placeholder_item.rs:190:14
|
|
|
|
|
LL | type B = _;
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated constants
|
|
--> $DIR/typeck_type_placeholder_item.rs:192:14
|
|
|
|
|
LL | const C: _;
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
|
|
--> $DIR/typeck_type_placeholder_item.rs:197:26
|
|
|
|
|
LL | type F: std::ops::Fn(_);
|
|
| ^ not allowed in type signatures
|
|
|
|
error[E0015]: cannot call non-const fn `<std::ops::Range<i32> as Iterator>::filter::<{closure@$DIR/typeck_type_placeholder_item.rs:230:29: 230:32}>` in constants
|
|
--> $DIR/typeck_type_placeholder_item.rs:230:22
|
|
|
|
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
|
|
| ^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
|
|
help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|
|
|
|
LL + #![feature(const_trait_impl)]
|
|
|
|
|
|
|
error[E0015]: cannot call non-const fn `<Filter<std::ops::Range<i32>, {closure@$DIR/typeck_type_placeholder_item.rs:230:29: 230:32}> as Iterator>::map::<i32, {closure@$DIR/typeck_type_placeholder_item.rs:230:49: 230:52}>` in constants
|
|
--> $DIR/typeck_type_placeholder_item.rs:230:45
|
|
|
|
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
|
|
| ^^^^^^^^^^^^^^
|
|
|
|
|
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
|
|
help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
|
|
|
|
|
LL + #![feature(const_trait_impl)]
|
|
|
|
|
|
|
error[E0515]: cannot return reference to function parameter `x`
|
|
--> $DIR/typeck_type_placeholder_item.rs:50:5
|
|
|
|
|
LL | &x
|
|
| ^^ returns a reference to data owned by the current function
|
|
|
|
error: aborting due to 75 previous errors
|
|
|
|
Some errors have detailed explanations: E0015, E0046, E0121, E0282, E0403, E0515.
|
|
For more information about an error, try `rustc --explain E0015`.
|