tests/ui/typeck/typeck_type_placeholder_item.stderr

   1 error: expected identifier, found reserved identifier `_`
   2   --> $DIR/typeck_type_placeholder_item.rs:154:18
   3    |
   4 LL | struct BadStruct<_>(_);
   5    |                  ^ expected identifier, found reserved identifier
   6
   7 error: expected identifier, found reserved identifier `_`
   8   --> $DIR/typeck_type_placeholder_item.rs:157:16
   9    |
  10 LL | trait BadTrait<_> {}
  11    |                ^ expected identifier, found reserved identifier
  12
  13 error: expected identifier, found reserved identifier `_`
  14   --> $DIR/typeck_type_placeholder_item.rs:167:19
  15    |
  16 LL | struct BadStruct1<_, _>(_);
  17    |                   ^ expected identifier, found reserved identifier
  18
  19 error: expected identifier, found reserved identifier `_`
  20   --> $DIR/typeck_type_placeholder_item.rs:167:22
  21    |
  22 LL | struct BadStruct1<_, _>(_);
  23    |                      ^ expected identifier, found reserved identifier
  24
  25 error: expected identifier, found reserved identifier `_`
  26   --> $DIR/typeck_type_placeholder_item.rs:172:19
  27    |
  28 LL | struct BadStruct2<_, T>(_, T);
  29    |                   ^ expected identifier, found reserved identifier
  30
  31 error: associated constant in `impl` without body
  32   --> $DIR/typeck_type_placeholder_item.rs:205:5
  33    |
  34 LL |     const C: _;
  35    |     ^^^^^^^^^^-
  36    |               |
  37    |               help: provide a definition for the constant: `= <expr>;`
  38
  39 error[E0403]: the name `_` is already used for a generic parameter in this item's generic parameters
  40   --> $DIR/typeck_type_placeholder_item.rs:167:22
  41    |
  42 LL | struct BadStruct1<_, _>(_);
  43    |                   -  ^ already used
  44    |                   |
  45    |                   first use of `_`
  46
  47 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
  48   --> $DIR/typeck_type_placeholder_item.rs:7:14
  49    |
  50 LL | fn test() -> _ { 5 }
  51    |              ^
  52    |              |
  53    |              not allowed in type signatures
  54    |              help: replace with the correct return type: `i32`
  55
  56 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
  57   --> $DIR/typeck_type_placeholder_item.rs:10:16
  58    |
  59 LL | fn test2() -> (_, _) { (5, 5) }
  60    |               -^--^-
  61    |               ||  |
  62    |               ||  not allowed in type signatures
  63    |               |not allowed in type signatures
  64    |               help: replace with the correct return type: `(i32, i32)`
  65
  66 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
  67   --> $DIR/typeck_type_placeholder_item.rs:13:15
  68    |
  69 LL | static TEST3: _ = "test";
  70    |               ^
  71    |               |
  72    |               not allowed in type signatures
  73    |               help: replace with the correct type: `&str`
  74
  75 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
  76   --> $DIR/typeck_type_placeholder_item.rs:16:15
  77    |
  78 LL | static TEST4: _ = 145;
  79    |               ^
  80    |               |
  81    |               not allowed in type signatures
  82    |               help: replace with the correct type: `i32`
  83
  84 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
  85   --> $DIR/typeck_type_placeholder_item.rs:19:15
  86    |
  87 LL | static TEST5: (_, _) = (1, 2);
  88    |               ^^^^^^ not allowed in type signatures
  89
  90 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
  91   --> $DIR/typeck_type_placeholder_item.rs:22:13
  92    |
  93 LL | fn test6(_: _) { }
  94    |             ^ not allowed in type signatures
  95    |
  96 help: use type parameters instead
  97    |
  98 LL | fn test6<T>(_: T) { }
  99    |         +++    ~
 100
 101 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 102   --> $DIR/typeck_type_placeholder_item.rs:25:18
 103    |
 104 LL | fn test6_b<T>(_: _, _: T) { }
 105    |                  ^ not allowed in type signatures
 106    |
 107 help: use type parameters instead
 108    |
 109 LL | fn test6_b<T, U>(_: U, _: T) { }
 110    |             +++     ~
 111
 112 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 113   --> $DIR/typeck_type_placeholder_item.rs:28:30
 114    |
 115 LL | fn test6_c<T, K, L, A, B>(_: _, _: (T, K, L, A, B)) { }
 116    |                              ^ not allowed in type signatures
 117    |
 118 help: use type parameters instead
 119    |
 120 LL | fn test6_c<T, K, L, A, B, U>(_: U, _: (T, K, L, A, B)) { }
 121    |                         +++     ~
 122
 123 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 124   --> $DIR/typeck_type_placeholder_item.rs:31:13
 125    |
 126 LL | fn test7(x: _) { let _x: usize = x; }
 127    |             ^ not allowed in type signatures
 128    |
 129 help: use type parameters instead
 130    |
 131 LL | fn test7<T>(x: T) { let _x: usize = x; }
 132    |         +++    ~
 133
 134 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 135   --> $DIR/typeck_type_placeholder_item.rs:34:22
 136    |
 137 LL | fn test8(_f: fn() -> _) { }
 138    |                      ^
 139    |                      |
 140    |                      not allowed in type signatures
 141    |                      help: use type parameters instead: `T`
 142
 143 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 144   --> $DIR/typeck_type_placeholder_item.rs:34:22
 145    |
 146 LL | fn test8(_f: fn() -> _) { }
 147    |                      ^ not allowed in type signatures
 148    |
 149 help: use type parameters instead
 150    |
 151 LL | fn test8<T>(_f: fn() -> T) { }
 152    |         +++             ~
 153
 154 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 155   --> $DIR/typeck_type_placeholder_item.rs:48:26
 156    |
 157 LL | fn test11(x: &usize) -> &_ {
 158    |                         -^
 159    |                         ||
 160    |                         |not allowed in type signatures
 161    |                         help: replace with the correct return type: `&'static &'static usize`
 162
 163 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 164   --> $DIR/typeck_type_placeholder_item.rs:53:52
 165    |
 166 LL | unsafe fn test12(x: *const usize) -> *const *const _ {
 167    |                                      --------------^
 168    |                                      |             |
 169    |                                      |             not allowed in type signatures
 170    |                                      help: replace with the correct return type: `*const *const usize`
 171
 172 error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
 173   --> $DIR/typeck_type_placeholder_item.rs:67:8
 174    |
 175 LL |     a: _,
 176    |        ^ not allowed in type signatures
 177 LL |
 178 LL |     b: (_, _),
 179    |         ^  ^ not allowed in type signatures
 180    |         |
 181    |         not allowed in type signatures
 182    |
 183 help: use type parameters instead
 184    |
 185 LL ~ struct Test10<T> {
 186 LL ~     a: T,
 187 LL |
 188 LL ~     b: (T, T),
 189    |
 190
 191 error: missing type for `static` item
 192   --> $DIR/typeck_type_placeholder_item.rs:73:13
 193    |
 194 LL |     static A = 42;
 195    |             ^ help: provide a type for the static variable: `: i32`
 196
 197 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
 198   --> $DIR/typeck_type_placeholder_item.rs:75:15
 199    |
 200 LL |     static B: _ = 42;
 201    |               ^
 202    |               |
 203    |               not allowed in type signatures
 204    |               help: replace with the correct type: `i32`
 205
 206 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
 207   --> $DIR/typeck_type_placeholder_item.rs:77:15
 208    |
 209 LL |     static C: Option<_> = Some(42);
 210    |               ^^^^^^^^^ not allowed in type signatures
 211
 212 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 213   --> $DIR/typeck_type_placeholder_item.rs:79:21
 214    |
 215 LL |     fn fn_test() -> _ { 5 }
 216    |                     ^
 217    |                     |
 218    |                     not allowed in type signatures
 219    |                     help: replace with the correct return type: `i32`
 220
 221 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 222   --> $DIR/typeck_type_placeholder_item.rs:82:23
 223    |
 224 LL |     fn fn_test2() -> (_, _) { (5, 5) }
 225    |                      -^--^-
 226    |                      ||  |
 227    |                      ||  not allowed in type signatures
 228    |                      |not allowed in type signatures
 229    |                      help: replace with the correct return type: `(i32, i32)`
 230
 231 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
 232   --> $DIR/typeck_type_placeholder_item.rs:85:22
 233    |
 234 LL |     static FN_TEST3: _ = "test";
 235    |                      ^
 236    |                      |
 237    |                      not allowed in type signatures
 238    |                      help: replace with the correct type: `&str`
 239
 240 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
 241   --> $DIR/typeck_type_placeholder_item.rs:88:22
 242    |
 243 LL |     static FN_TEST4: _ = 145;
 244    |                      ^
 245    |                      |
 246    |                      not allowed in type signatures
 247    |                      help: replace with the correct type: `i32`
 248
 249 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
 250   --> $DIR/typeck_type_placeholder_item.rs:91:22
 251    |
 252 LL |     static FN_TEST5: (_, _) = (1, 2);
 253    |                      ^^^^^^ not allowed in type signatures
 254
 255 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 256   --> $DIR/typeck_type_placeholder_item.rs:94:20
 257    |
 258 LL |     fn fn_test6(_: _) { }
 259    |                    ^ not allowed in type signatures
 260    |
 261 help: use type parameters instead
 262    |
 263 LL |     fn fn_test6<T>(_: T) { }
 264    |                +++    ~
 265
 266 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 267   --> $DIR/typeck_type_placeholder_item.rs:97:20
 268    |
 269 LL |     fn fn_test7(x: _) { let _x: usize = x; }
 270    |                    ^ not allowed in type signatures
 271    |
 272 help: use type parameters instead
 273    |
 274 LL |     fn fn_test7<T>(x: T) { let _x: usize = x; }
 275    |                +++    ~
 276
 277 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 278   --> $DIR/typeck_type_placeholder_item.rs:100:29
 279    |
 280 LL |     fn fn_test8(_f: fn() -> _) { }
 281    |                             ^
 282    |                             |
 283    |                             not allowed in type signatures
 284    |                             help: use type parameters instead: `T`
 285
 286 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 287   --> $DIR/typeck_type_placeholder_item.rs:100:29
 288    |
 289 LL |     fn fn_test8(_f: fn() -> _) { }
 290    |                             ^ not allowed in type signatures
 291    |
 292 help: use type parameters instead
 293    |
 294 LL |     fn fn_test8<T>(_f: fn() -> T) { }
 295    |                +++             ~
 296
 297 error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
 298   --> $DIR/typeck_type_placeholder_item.rs:123:12
 299    |
 300 LL |         a: _,
 301    |            ^ not allowed in type signatures
 302 LL |
 303 LL |         b: (_, _),
 304    |             ^  ^ not allowed in type signatures
 305    |             |
 306    |             not allowed in type signatures
 307    |
 308 help: use type parameters instead
 309    |
 310 LL ~     struct FnTest10<T> {
 311 LL ~         a: T,
 312 LL |
 313 LL ~         b: (T, T),
 314    |
 315
 316 error[E0282]: type annotations needed
 317   --> $DIR/typeck_type_placeholder_item.rs:128:18
 318    |
 319 LL |     fn fn_test11(_: _) -> (_, _) { panic!() }
 320    |                  ^ cannot infer type
 321
 322 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 323   --> $DIR/typeck_type_placeholder_item.rs:128:28
 324    |
 325 LL |     fn fn_test11(_: _) -> (_, _) { panic!() }
 326    |                            ^  ^ not allowed in type signatures
 327    |                            |
 328    |                            not allowed in type signatures
 329
 330 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 331   --> $DIR/typeck_type_placeholder_item.rs:132:30
 332    |
 333 LL |     fn fn_test12(x: i32) -> (_, _) { (x, x) }
 334    |                             -^--^-
 335    |                             ||  |
 336    |                             ||  not allowed in type signatures
 337    |                             |not allowed in type signatures
 338    |                             help: replace with the correct return type: `(i32, i32)`
 339
 340 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 341   --> $DIR/typeck_type_placeholder_item.rs:135:33
 342    |
 343 LL |     fn fn_test13(x: _) -> (i32, _) { (x, x) }
 344    |                           ------^-
 345    |                           |     |
 346    |                           |     not allowed in type signatures
 347    |                           help: replace with the correct return type: `(i32, i32)`
 348
 349 error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
 350   --> $DIR/typeck_type_placeholder_item.rs:154:21
 351    |
 352 LL | struct BadStruct<_>(_);
 353    |                     ^ not allowed in type signatures
 354    |
 355 help: use type parameters instead
 356    |
 357 LL | struct BadStruct<T>(T);
 358    |                  ~  ~
 359
 360 error[E0121]: the placeholder `_` is not allowed within types on item signatures for implementations
 361   --> $DIR/typeck_type_placeholder_item.rs:159:15
 362    |
 363 LL | impl BadTrait<_> for BadStruct<_> {}
 364    |               ^                ^ not allowed in type signatures
 365    |               |
 366    |               not allowed in type signatures
 367    |
 368 help: use type parameters instead
 369    |
 370 LL | impl<T> BadTrait<T> for BadStruct<T> {}
 371    |     +++          ~                ~
 372
 373 error[E0121]: the placeholder `_` is not allowed within types on item signatures for opaque types
 374   --> $DIR/typeck_type_placeholder_item.rs:162:34
 375    |
 376 LL | fn impl_trait() -> impl BadTrait<_> {
 377    |                                  ^ not allowed in type signatures
 378
 379 error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
 380   --> $DIR/typeck_type_placeholder_item.rs:167:25
 381    |
 382 LL | struct BadStruct1<_, _>(_);
 383    |                         ^ not allowed in type signatures
 384    |
 385 help: use type parameters instead
 386    |
 387 LL | struct BadStruct1<T, _>(T);
 388    |                   ~     ~
 389
 390 error[E0121]: the placeholder `_` is not allowed within types on item signatures for structs
 391   --> $DIR/typeck_type_placeholder_item.rs:172:25
 392    |
 393 LL | struct BadStruct2<_, T>(_, T);
 394    |                         ^ not allowed in type signatures
 395    |
 396 help: use type parameters instead
 397    |
 398 LL | struct BadStruct2<U, T>(U, T);
 399    |                   ~     ~
 400
 401 error[E0121]: the placeholder `_` is not allowed within types on item signatures for type aliases
 402   --> $DIR/typeck_type_placeholder_item.rs:176:14
 403    |
 404 LL | type X = Box<_>;
 405    |              ^ not allowed in type signatures
 406
 407 error[E0121]: the placeholder `_` is not allowed within types on item signatures for opaque types
 408   --> $DIR/typeck_type_placeholder_item.rs:182:21
 409    |
 410 LL | type Y = impl Trait<_>;
 411    |                     ^ not allowed in type signatures
 412
 413 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 414   --> $DIR/typeck_type_placeholder_item.rs:216:31
 415    |
 416 LL | fn value() -> Option<&'static _> {
 417    |               ----------------^-
 418    |               |               |
 419    |               |               not allowed in type signatures
 420    |               help: replace with the correct return type: `Option<&'static u8>`
 421
 422 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
 423   --> $DIR/typeck_type_placeholder_item.rs:221:10
 424    |
 425 LL | const _: Option<_> = map(value);
 426    |          ^^^^^^^^^
 427    |          |
 428    |          not allowed in type signatures
 429    |          help: replace with the correct type: `Option<u8>`
 430
 431 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 432   --> $DIR/typeck_type_placeholder_item.rs:224:31
 433    |
 434 LL | fn evens_squared(n: usize) -> _ {
 435    |                               ^
 436    |                               |
 437    |                               not allowed in type signatures
 438    |                               help: replace with an appropriate return type: `impl Iterator<Item = usize>`
 439
 440 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
 441   --> $DIR/typeck_type_placeholder_item.rs:229:10
 442    |
 443 LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
 444    |          ^ not allowed in type signatures
 445    |
 446 note: however, the inferred type `Map<Filter<Range<i32>, [closure@typeck_type_placeholder_item.rs:229:29]>, [closure@typeck_type_placeholder_item.rs:229:49]>` cannot be named
 447   --> $DIR/typeck_type_placeholder_item.rs:229:14
 448    |
 449 LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
 450    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 451
 452 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 453   --> $DIR/typeck_type_placeholder_item.rs:140:31
 454    |
 455 LL |     fn method_test1(&self, x: _);
 456    |                               ^ not allowed in type signatures
 457    |
 458 help: use type parameters instead
 459    |
 460 LL |     fn method_test1<T>(&self, x: T);
 461    |                    +++           ~
 462
 463 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 464   --> $DIR/typeck_type_placeholder_item.rs:142:31
 465    |
 466 LL |     fn method_test2(&self, x: _) -> _;
 467    |                               ^     ^ not allowed in type signatures
 468    |                               |
 469    |                               not allowed in type signatures
 470    |
 471 help: use type parameters instead
 472    |
 473 LL |     fn method_test2<T>(&self, x: T) -> T;
 474    |                    +++           ~     ~
 475
 476 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 477   --> $DIR/typeck_type_placeholder_item.rs:144:31
 478    |
 479 LL |     fn method_test3(&self) -> _;
 480    |                               ^ not allowed in type signatures
 481    |
 482 help: use type parameters instead
 483    |
 484 LL |     fn method_test3<T>(&self) -> T;
 485    |                    +++           ~
 486
 487 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 488   --> $DIR/typeck_type_placeholder_item.rs:146:26
 489    |
 490 LL |     fn assoc_fn_test1(x: _);
 491    |                          ^ not allowed in type signatures
 492    |
 493 help: use type parameters instead
 494    |
 495 LL |     fn assoc_fn_test1<T>(x: T);
 496    |                      +++    ~
 497
 498 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 499   --> $DIR/typeck_type_placeholder_item.rs:148:26
 500    |
 501 LL |     fn assoc_fn_test2(x: _) -> _;
 502    |                          ^     ^ not allowed in type signatures
 503    |                          |
 504    |                          not allowed in type signatures
 505    |
 506 help: use type parameters instead
 507    |
 508 LL |     fn assoc_fn_test2<T>(x: T) -> T;
 509    |                      +++    ~     ~
 510
 511 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 512   --> $DIR/typeck_type_placeholder_item.rs:150:28
 513    |
 514 LL |     fn assoc_fn_test3() -> _;
 515    |                            ^ not allowed in type signatures
 516    |
 517 help: use type parameters instead
 518    |
 519 LL |     fn assoc_fn_test3<T>() -> T;
 520    |                      +++      ~
 521
 522 error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
 523   --> $DIR/typeck_type_placeholder_item.rs:190:14
 524    |
 525 LL |     type B = _;
 526    |              ^ not allowed in type signatures
 527
 528 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
 529   --> $DIR/typeck_type_placeholder_item.rs:192:14
 530    |
 531 LL |     const C: _;
 532    |              ^ not allowed in type signatures
 533
 534 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
 535   --> $DIR/typeck_type_placeholder_item.rs:194:14
 536    |
 537 LL |     const D: _ = 42;
 538    |              ^
 539    |              |
 540    |              not allowed in type signatures
 541    |              help: replace with the correct type: `i32`
 542
 543 error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
 544   --> $DIR/typeck_type_placeholder_item.rs:197:26
 545    |
 546 LL |     type F: std::ops::Fn(_);
 547    |                          ^ not allowed in type signatures
 548
 549 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 550   --> $DIR/typeck_type_placeholder_item.rs:41:24
 551    |
 552 LL |     fn test9(&self) -> _ { () }
 553    |                        ^
 554    |                        |
 555    |                        not allowed in type signatures
 556    |                        help: replace with the correct return type: `()`
 557
 558 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 559   --> $DIR/typeck_type_placeholder_item.rs:44:27
 560    |
 561 LL |     fn test10(&self, _x : _) { }
 562    |                           ^ not allowed in type signatures
 563    |
 564 help: use type parameters instead
 565    |
 566 LL |     fn test10<T>(&self, _x : T) { }
 567    |              +++             ~
 568
 569 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 570   --> $DIR/typeck_type_placeholder_item.rs:59:24
 571    |
 572 LL |     fn clone(&self) -> _ { Test9 }
 573    |                        ^ not allowed in type signatures
 574    |
 575 help: try replacing `_` with the type in the corresponding trait method signature
 576    |
 577 LL |     fn clone(&self) -> Test9 { Test9 }
 578    |                        ~~~~~
 579
 580 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 581   --> $DIR/typeck_type_placeholder_item.rs:62:37
 582    |
 583 LL |     fn clone_from(&mut self, other: _) { *self = Test9; }
 584    |                                     ^ not allowed in type signatures
 585    |
 586 help: try replacing `_` with the type in the corresponding trait method signature
 587    |
 588 LL |     fn clone_from(&mut self, other: &Test9) { *self = Test9; }
 589    |                                     ~~~~~~
 590
 591 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
 592   --> $DIR/typeck_type_placeholder_item.rs:107:31
 593    |
 594 LL |         fn fn_test9(&self) -> _ { () }
 595    |                               ^
 596    |                               |
 597    |                               not allowed in type signatures
 598    |                               help: replace with the correct return type: `()`
 599
 600 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 601   --> $DIR/typeck_type_placeholder_item.rs:110:34
 602    |
 603 LL |         fn fn_test10(&self, _x : _) { }
 604    |                                  ^ not allowed in type signatures
 605    |
 606 help: use type parameters instead
 607    |
 608 LL |         fn fn_test10<T>(&self, _x : T) { }
 609    |                     +++             ~
 610
 611 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 612   --> $DIR/typeck_type_placeholder_item.rs:115:28
 613    |
 614 LL |         fn clone(&self) -> _ { FnTest9 }
 615    |                            ^ not allowed in type signatures
 616    |
 617 help: try replacing `_` with the type in the corresponding trait method signature
 618    |
 619 LL |         fn clone(&self) -> FnTest9 { FnTest9 }
 620    |                            ~~~~~~~
 621
 622 error[E0121]: the placeholder `_` is not allowed within types on item signatures for functions
 623   --> $DIR/typeck_type_placeholder_item.rs:118:41
 624    |
 625 LL |         fn clone_from(&mut self, other: _) { *self = FnTest9; }
 626    |                                         ^ not allowed in type signatures
 627    |
 628 help: try replacing `_` with the type in the corresponding trait method signature
 629    |
 630 LL |         fn clone_from(&mut self, other: &FnTest9) { *self = FnTest9; }
 631    |                                         ~~~~~~~~
 632
 633 error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
 634   --> $DIR/typeck_type_placeholder_item.rs:201:14
 635    |
 636 LL |     type A = _;
 637    |              ^ not allowed in type signatures
 638
 639 error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
 640   --> $DIR/typeck_type_placeholder_item.rs:203:14
 641    |
 642 LL |     type B = _;
 643    |              ^ not allowed in type signatures
 644
 645 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
 646   --> $DIR/typeck_type_placeholder_item.rs:205:14
 647    |
 648 LL |     const C: _;
 649    |              ^ not allowed in type signatures
 650
 651 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
 652   --> $DIR/typeck_type_placeholder_item.rs:208:14
 653    |
 654 LL |     const D: _ = 42;
 655    |              ^
 656    |              |
 657    |              not allowed in type signatures
 658    |              help: replace with the correct type: `i32`
 659
 660 error: aborting due to 71 previous errors
 661
 662 Some errors have detailed explanations: E0121, E0282, E0403.
 663 For more information about an error, try `rustc --explain E0121`.