src/test/ui/generics/wrong-number-of-args.stderr

   1 error[E0107]: this struct takes 0 lifetime arguments but 1 lifetime argument was supplied
   2   --> $DIR/wrong-number-of-args.rs:6:14
   3    |
   4 LL |     type B = Ty<'static>;
   5    |              ^^--------- help: remove these generics
   6    |              |
   7    |              expected 0 lifetime arguments
   8    |
   9 note: struct defined here, with 0 lifetime parameters
  10   --> $DIR/wrong-number-of-args.rs:2:12
  11    |
  12 LL |     struct Ty;
  13    |            ^^
  14
  15 error[E0107]: this struct takes 0 lifetime arguments but 1 lifetime argument was supplied
  16   --> $DIR/wrong-number-of-args.rs:10:14
  17    |
  18 LL |     type C = Ty<'static, usize>;
  19    |              ^^ ------- help: remove this lifetime argument
  20    |              |
  21    |              expected 0 lifetime arguments
  22    |
  23 note: struct defined here, with 0 lifetime parameters
  24   --> $DIR/wrong-number-of-args.rs:2:12
  25    |
  26 LL |     struct Ty;
  27    |            ^^
  28
  29 error[E0107]: this struct takes 0 generic arguments but 1 generic argument was supplied
  30   --> $DIR/wrong-number-of-args.rs:10:14
  31    |
  32 LL |     type C = Ty<'static, usize>;
  33    |              ^^          ----- help: remove this generic argument
  34    |              |
  35    |              expected 0 generic arguments
  36    |
  37 note: struct defined here, with 0 generic parameters
  38   --> $DIR/wrong-number-of-args.rs:2:12
  39    |
  40 LL |     struct Ty;
  41    |            ^^
  42
  43 error[E0107]: this struct takes 0 lifetime arguments but 1 lifetime argument was supplied
  44   --> $DIR/wrong-number-of-args.rs:16:14
  45    |
  46 LL |     type D = Ty<'static, usize, { 0 }>;
  47    |              ^^ ------- help: remove this lifetime argument
  48    |              |
  49    |              expected 0 lifetime arguments
  50    |
  51 note: struct defined here, with 0 lifetime parameters
  52   --> $DIR/wrong-number-of-args.rs:2:12
  53    |
  54 LL |     struct Ty;
  55    |            ^^
  56
  57 error[E0107]: this struct takes 0 generic arguments but 2 generic arguments were supplied
  58   --> $DIR/wrong-number-of-args.rs:16:14
  59    |
  60 LL |     type D = Ty<'static, usize, { 0 }>;
  61    |              ^^          ------------ help: remove these generic arguments
  62    |              |
  63    |              expected 0 generic arguments
  64    |
  65 note: struct defined here, with 0 generic parameters
  66   --> $DIR/wrong-number-of-args.rs:2:12
  67    |
  68 LL |     struct Ty;
  69    |            ^^
  70
  71 error[E0107]: missing generics for struct `type_and_type::Ty`
  72   --> $DIR/wrong-number-of-args.rs:26:14
  73    |
  74 LL |     type A = Ty;
  75    |              ^^ expected 2 generic arguments
  76    |
  77 note: struct defined here, with 2 generic parameters: `A`, `B`
  78   --> $DIR/wrong-number-of-args.rs:24:12
  79    |
  80 LL |     struct Ty<A, B>;
  81    |            ^^ -  -
  82 help: add missing generic arguments
  83    |
  84 LL |     type A = Ty<A, B>;
  85    |              ~~~~~~~~
  86
  87 error[E0107]: this struct takes 2 generic arguments but 1 generic argument was supplied
  88   --> $DIR/wrong-number-of-args.rs:30:14
  89    |
  90 LL |     type B = Ty<usize>;
  91    |              ^^ ----- supplied 1 generic argument
  92    |              |
  93    |              expected 2 generic arguments
  94    |
  95 note: struct defined here, with 2 generic parameters: `A`, `B`
  96   --> $DIR/wrong-number-of-args.rs:24:12
  97    |
  98 LL |     struct Ty<A, B>;
  99    |            ^^ -  -
 100 help: add missing generic argument
 101    |
 102 LL |     type B = Ty<usize, B>;
 103    |                      +++
 104
 105 error[E0107]: this struct takes 2 generic arguments but 3 generic arguments were supplied
 106   --> $DIR/wrong-number-of-args.rs:36:14
 107    |
 108 LL |     type D = Ty<usize, String, char>;
 109    |              ^^                ---- help: remove this generic argument
 110    |              |
 111    |              expected 2 generic arguments
 112    |
 113 note: struct defined here, with 2 generic parameters: `A`, `B`
 114   --> $DIR/wrong-number-of-args.rs:24:12
 115    |
 116 LL |     struct Ty<A, B>;
 117    |            ^^ -  -
 118
 119 error[E0107]: this struct takes 2 generic arguments but 0 generic arguments were supplied
 120   --> $DIR/wrong-number-of-args.rs:40:14
 121    |
 122 LL |     type E = Ty<>;
 123    |              ^^ expected 2 generic arguments
 124    |
 125 note: struct defined here, with 2 generic parameters: `A`, `B`
 126   --> $DIR/wrong-number-of-args.rs:24:12
 127    |
 128 LL |     struct Ty<A, B>;
 129    |            ^^ -  -
 130 help: add missing generic arguments
 131    |
 132 LL |     type E = Ty<A, B>;
 133    |                 ++++
 134
 135 error[E0107]: missing generics for struct `lifetime_and_type::Ty`
 136   --> $DIR/wrong-number-of-args.rs:48:14
 137    |
 138 LL |     type A = Ty;
 139    |              ^^ expected 1 generic argument
 140    |
 141 note: struct defined here, with 1 generic parameter: `T`
 142   --> $DIR/wrong-number-of-args.rs:46:12
 143    |
 144 LL |     struct Ty<'a, T>;
 145    |            ^^     -
 146 help: add missing generic argument
 147    |
 148 LL |     type A = Ty<T>;
 149    |              ~~~~~
 150
 151 error[E0106]: missing lifetime specifier
 152   --> $DIR/wrong-number-of-args.rs:48:14
 153    |
 154 LL |     type A = Ty;
 155    |              ^^ expected named lifetime parameter
 156    |
 157 help: consider introducing a named lifetime parameter
 158    |
 159 LL |     type A<'a> = Ty<'a>;
 160    |           ++++   ~~~~~~
 161
 162 error[E0107]: this struct takes 1 generic argument but 0 generic arguments were supplied
 163   --> $DIR/wrong-number-of-args.rs:54:14
 164    |
 165 LL |     type B = Ty<'static>;
 166    |              ^^ expected 1 generic argument
 167    |
 168 note: struct defined here, with 1 generic parameter: `T`
 169   --> $DIR/wrong-number-of-args.rs:46:12
 170    |
 171 LL |     struct Ty<'a, T>;
 172    |            ^^     -
 173 help: add missing generic argument
 174    |
 175 LL |     type B = Ty<'static, T>;
 176    |                        +++
 177
 178 error[E0106]: missing lifetime specifier
 179   --> $DIR/wrong-number-of-args.rs:58:17
 180    |
 181 LL |     type C = Ty<usize>;
 182    |                 ^ expected named lifetime parameter
 183    |
 184 help: consider introducing a named lifetime parameter
 185    |
 186 LL |     type C<'a> = Ty<'a, usize>;
 187    |           ++++      +++
 188
 189 error[E0107]: this struct takes 1 generic argument but 0 generic arguments were supplied
 190   --> $DIR/wrong-number-of-args.rs:64:14
 191    |
 192 LL |     type E = Ty<>;
 193    |              ^^ expected 1 generic argument
 194    |
 195 note: struct defined here, with 1 generic parameter: `T`
 196   --> $DIR/wrong-number-of-args.rs:46:12
 197    |
 198 LL |     struct Ty<'a, T>;
 199    |            ^^     -
 200 help: add missing generic argument
 201    |
 202 LL |     type E = Ty<T>;
 203    |                 +
 204
 205 error[E0106]: missing lifetime specifier
 206   --> $DIR/wrong-number-of-args.rs:64:16
 207    |
 208 LL |     type E = Ty<>;
 209    |                ^- expected named lifetime parameter
 210    |
 211 help: consider introducing a named lifetime parameter
 212    |
 213 LL |     type E<'a> = Ty<'a>;
 214    |           ++++      ++
 215
 216 error[E0107]: this struct takes 1 lifetime argument but 2 lifetime arguments were supplied
 217   --> $DIR/wrong-number-of-args.rs:70:14
 218    |
 219 LL |     type F = Ty<'static, usize, 'static, usize>;
 220    |              ^^                 ------- help: remove this lifetime argument
 221    |              |
 222    |              expected 1 lifetime argument
 223    |
 224 note: struct defined here, with 1 lifetime parameter: `'a`
 225   --> $DIR/wrong-number-of-args.rs:46:12
 226    |
 227 LL |     struct Ty<'a, T>;
 228    |            ^^ --
 229
 230 error[E0107]: this struct takes 1 generic argument but 2 generic arguments were supplied
 231   --> $DIR/wrong-number-of-args.rs:70:14
 232    |
 233 LL |     type F = Ty<'static, usize, 'static, usize>;
 234    |              ^^                          ----- help: remove this generic argument
 235    |              |
 236    |              expected 1 generic argument
 237    |
 238 note: struct defined here, with 1 generic parameter: `T`
 239   --> $DIR/wrong-number-of-args.rs:46:12
 240    |
 241 LL |     struct Ty<'a, T>;
 242    |            ^^     -
 243
 244 error[E0107]: missing generics for struct `type_and_type_and_type::Ty`
 245   --> $DIR/wrong-number-of-args.rs:80:14
 246    |
 247 LL |     type A = Ty;
 248    |              ^^ expected at least 2 generic arguments
 249    |
 250 note: struct defined here, with at least 2 generic parameters: `A`, `B`
 251   --> $DIR/wrong-number-of-args.rs:78:12
 252    |
 253 LL |     struct Ty<A, B, C = &'static str>;
 254    |            ^^ -  -
 255 help: add missing generic arguments
 256    |
 257 LL |     type A = Ty<A, B>;
 258    |              ~~~~~~~~
 259
 260 error[E0107]: this struct takes at least 2 generic arguments but 1 generic argument was supplied
 261   --> $DIR/wrong-number-of-args.rs:84:14
 262    |
 263 LL |     type B = Ty<usize>;
 264    |              ^^ ----- supplied 1 generic argument
 265    |              |
 266    |              expected at least 2 generic arguments
 267    |
 268 note: struct defined here, with at least 2 generic parameters: `A`, `B`
 269   --> $DIR/wrong-number-of-args.rs:78:12
 270    |
 271 LL |     struct Ty<A, B, C = &'static str>;
 272    |            ^^ -  -
 273 help: add missing generic argument
 274    |
 275 LL |     type B = Ty<usize, B>;
 276    |                      +++
 277
 278 error[E0107]: this struct takes at most 3 generic arguments but 4 generic arguments were supplied
 279   --> $DIR/wrong-number-of-args.rs:92:14
 280    |
 281 LL |     type E = Ty<usize, String, char, f64>;
 282    |              ^^                      --- help: remove this generic argument
 283    |              |
 284    |              expected at most 3 generic arguments
 285    |
 286 note: struct defined here, with at most 3 generic parameters: `A`, `B`, `C`
 287   --> $DIR/wrong-number-of-args.rs:78:12
 288    |
 289 LL |     struct Ty<A, B, C = &'static str>;
 290    |            ^^ -  -  ----------------
 291
 292 error[E0107]: this struct takes at least 2 generic arguments but 0 generic arguments were supplied
 293   --> $DIR/wrong-number-of-args.rs:96:14
 294    |
 295 LL |     type F = Ty<>;
 296    |              ^^ expected at least 2 generic arguments
 297    |
 298 note: struct defined here, with at least 2 generic parameters: `A`, `B`
 299   --> $DIR/wrong-number-of-args.rs:78:12
 300    |
 301 LL |     struct Ty<A, B, C = &'static str>;
 302    |            ^^ -  -
 303 help: add missing generic arguments
 304    |
 305 LL |     type F = Ty<A, B>;
 306    |                 ++++
 307
 308 error[E0107]: this trait takes 0 generic arguments but 1 generic argument was supplied
 309   --> $DIR/wrong-number-of-args.rs:116:22
 310    |
 311 LL |     type A = Box<dyn NonGeneric<usize>>;
 312    |                      ^^^^^^^^^^------- help: remove these generics
 313    |                      |
 314    |                      expected 0 generic arguments
 315    |
 316 note: trait defined here, with 0 generic parameters
 317   --> $DIR/wrong-number-of-args.rs:104:11
 318    |
 319 LL |     trait NonGeneric {
 320    |           ^^^^^^^^^^
 321
 322 error[E0106]: missing lifetime specifier
 323   --> $DIR/wrong-number-of-args.rs:120:22
 324    |
 325 LL |     type B = Box<dyn GenericLifetime>;
 326    |                      ^^^^^^^^^^^^^^^ expected named lifetime parameter
 327    |
 328 help: consider introducing a named lifetime parameter
 329    |
 330 LL |     type B<'a> = Box<dyn GenericLifetime<'a>>;
 331    |           ++++           ~~~~~~~~~~~~~~~~~~~
 332
 333 error[E0107]: this trait takes 1 lifetime argument but 2 lifetime arguments were supplied
 334   --> $DIR/wrong-number-of-args.rs:124:22
 335    |
 336 LL |     type C = Box<dyn GenericLifetime<'static, 'static>>;
 337    |                      ^^^^^^^^^^^^^^^          ------- help: remove this lifetime argument
 338    |                      |
 339    |                      expected 1 lifetime argument
 340    |
 341 note: trait defined here, with 1 lifetime parameter: `'a`
 342   --> $DIR/wrong-number-of-args.rs:108:11
 343    |
 344 LL |     trait GenericLifetime<'a> {
 345    |           ^^^^^^^^^^^^^^^ --
 346
 347 error[E0107]: missing generics for trait `GenericType`
 348   --> $DIR/wrong-number-of-args.rs:128:22
 349    |
 350 LL |     type D = Box<dyn GenericType>;
 351    |                      ^^^^^^^^^^^ expected 1 generic argument
 352    |
 353 note: trait defined here, with 1 generic parameter: `A`
 354   --> $DIR/wrong-number-of-args.rs:112:11
 355    |
 356 LL |     trait GenericType<A> {
 357    |           ^^^^^^^^^^^ -
 358 help: add missing generic argument
 359    |
 360 LL |     type D = Box<dyn GenericType<A>>;
 361    |                      ~~~~~~~~~~~~~~
 362
 363 error[E0107]: this trait takes 1 generic argument but 2 generic arguments were supplied
 364   --> $DIR/wrong-number-of-args.rs:132:22
 365    |
 366 LL |     type E = Box<dyn GenericType<String, usize>>;
 367    |                      ^^^^^^^^^^^         ----- help: remove this generic argument
 368    |                      |
 369    |                      expected 1 generic argument
 370    |
 371 note: trait defined here, with 1 generic parameter: `A`
 372   --> $DIR/wrong-number-of-args.rs:112:11
 373    |
 374 LL |     trait GenericType<A> {
 375    |           ^^^^^^^^^^^ -
 376
 377 error[E0106]: missing lifetime specifier
 378   --> $DIR/wrong-number-of-args.rs:136:37
 379    |
 380 LL |     type F = Box<dyn GenericLifetime<>>;
 381    |                                     ^- expected named lifetime parameter
 382    |
 383 help: consider introducing a named lifetime parameter
 384    |
 385 LL |     type F<'a> = Box<dyn GenericLifetime<'a>>;
 386    |           ++++                           ++
 387
 388 error[E0107]: this trait takes 1 generic argument but 0 generic arguments were supplied
 389   --> $DIR/wrong-number-of-args.rs:140:22
 390    |
 391 LL |     type G = Box<dyn GenericType<>>;
 392    |                      ^^^^^^^^^^^ expected 1 generic argument
 393    |
 394 note: trait defined here, with 1 generic parameter: `A`
 395   --> $DIR/wrong-number-of-args.rs:112:11
 396    |
 397 LL |     trait GenericType<A> {
 398    |           ^^^^^^^^^^^ -
 399 help: add missing generic argument
 400    |
 401 LL |     type G = Box<dyn GenericType<A>>;
 402    |                                  +
 403
 404 error[E0107]: this trait takes 0 generic arguments but 1 generic argument was supplied
 405   --> $DIR/wrong-number-of-args.rs:151:26
 406    |
 407 LL |         type A = Box<dyn NonGenericAT<usize, AssocTy=()>>;
 408    |                          ^^^^^^^^^^^^------------------- help: remove these generics
 409    |                          |
 410    |                          expected 0 generic arguments
 411    |
 412 note: trait defined here, with 0 generic parameters
 413   --> $DIR/wrong-number-of-args.rs:147:15
 414    |
 415 LL |         trait NonGenericAT {
 416    |               ^^^^^^^^^^^^
 417
 418 error[E0106]: missing lifetime specifier
 419   --> $DIR/wrong-number-of-args.rs:161:44
 420    |
 421 LL |         type A = Box<dyn GenericLifetimeAT<AssocTy=()>>;
 422    |                                            ^ expected named lifetime parameter
 423    |
 424 help: consider introducing a named lifetime parameter
 425    |
 426 LL |         type A<'a> = Box<dyn GenericLifetimeAT<'a, AssocTy=()>>;
 427    |               ++++                             +++
 428
 429 error[E0107]: this trait takes 1 lifetime argument but 2 lifetime arguments were supplied
 430   --> $DIR/wrong-number-of-args.rs:165:26
 431    |
 432 LL |         type B = Box<dyn GenericLifetimeAT<'static, 'static, AssocTy=()>>;
 433    |                          ^^^^^^^^^^^^^^^^^          ------- help: remove this lifetime argument
 434    |                          |
 435    |                          expected 1 lifetime argument
 436    |
 437 note: trait defined here, with 1 lifetime parameter: `'a`
 438   --> $DIR/wrong-number-of-args.rs:157:15
 439    |
 440 LL |         trait GenericLifetimeAT<'a> {
 441    |               ^^^^^^^^^^^^^^^^^ --
 442
 443 error[E0107]: this trait takes 0 generic arguments but 1 generic argument was supplied
 444   --> $DIR/wrong-number-of-args.rs:169:26
 445    |
 446 LL |         type C = Box<dyn GenericLifetimeAT<(), AssocTy=()>>;
 447    |                          ^^^^^^^^^^^^^^^^^ -- help: remove this generic argument
 448    |                          |
 449    |                          expected 0 generic arguments
 450    |
 451 note: trait defined here, with 0 generic parameters
 452   --> $DIR/wrong-number-of-args.rs:157:15
 453    |
 454 LL |         trait GenericLifetimeAT<'a> {
 455    |               ^^^^^^^^^^^^^^^^^
 456
 457 error[E0106]: missing lifetime specifier
 458   --> $DIR/wrong-number-of-args.rs:169:44
 459    |
 460 LL |         type C = Box<dyn GenericLifetimeAT<(), AssocTy=()>>;
 461    |                                            ^ expected named lifetime parameter
 462    |
 463 help: consider introducing a named lifetime parameter
 464    |
 465 LL |         type C<'a> = Box<dyn GenericLifetimeAT<'a, (), AssocTy=()>>;
 466    |               ++++                             +++
 467
 468 error[E0107]: this trait takes 1 generic argument but 0 generic arguments were supplied
 469   --> $DIR/wrong-number-of-args.rs:181:26
 470    |
 471 LL |         type A = Box<dyn GenericTypeAT<AssocTy=()>>;
 472    |                          ^^^^^^^^^^^^^ expected 1 generic argument
 473    |
 474 note: trait defined here, with 1 generic parameter: `A`
 475   --> $DIR/wrong-number-of-args.rs:177:15
 476    |
 477 LL |         trait GenericTypeAT<A> {
 478    |               ^^^^^^^^^^^^^ -
 479 help: add missing generic argument
 480    |
 481 LL |         type A = Box<dyn GenericTypeAT<A, AssocTy=()>>;
 482    |                                        ++
 483
 484 error[E0107]: this trait takes 1 generic argument but 2 generic arguments were supplied
 485   --> $DIR/wrong-number-of-args.rs:185:26
 486    |
 487 LL |         type B = Box<dyn GenericTypeAT<(), (), AssocTy=()>>;
 488    |                          ^^^^^^^^^^^^^     -- help: remove this generic argument
 489    |                          |
 490    |                          expected 1 generic argument
 491    |
 492 note: trait defined here, with 1 generic parameter: `A`
 493   --> $DIR/wrong-number-of-args.rs:177:15
 494    |
 495 LL |         trait GenericTypeAT<A> {
 496    |               ^^^^^^^^^^^^^ -
 497
 498 error[E0107]: this trait takes 0 lifetime arguments but 1 lifetime argument was supplied
 499   --> $DIR/wrong-number-of-args.rs:189:26
 500    |
 501 LL |         type C = Box<dyn GenericTypeAT<'static, AssocTy=()>>;
 502    |                          ^^^^^^^^^^^^^--------------------- help: remove these generics
 503    |                          |
 504    |                          expected 0 lifetime arguments
 505    |
 506 note: trait defined here, with 0 lifetime parameters
 507   --> $DIR/wrong-number-of-args.rs:177:15
 508    |
 509 LL |         trait GenericTypeAT<A> {
 510    |               ^^^^^^^^^^^^^
 511
 512 error[E0107]: this trait takes 1 generic argument but 0 generic arguments were supplied
 513   --> $DIR/wrong-number-of-args.rs:189:26
 514    |
 515 LL |         type C = Box<dyn GenericTypeAT<'static, AssocTy=()>>;
 516    |                          ^^^^^^^^^^^^^ expected 1 generic argument
 517    |
 518 note: trait defined here, with 1 generic parameter: `A`
 519   --> $DIR/wrong-number-of-args.rs:177:15
 520    |
 521 LL |         trait GenericTypeAT<A> {
 522    |               ^^^^^^^^^^^^^ -
 523 help: add missing generic argument
 524    |
 525 LL |         type C = Box<dyn GenericTypeAT<'static, A, AssocTy=()>>;
 526    |                                               +++
 527
 528 error[E0107]: this trait takes 1 generic argument but 0 generic arguments were supplied
 529   --> $DIR/wrong-number-of-args.rs:201:26
 530    |
 531 LL |         type A = Box<dyn GenericLifetimeTypeAT<AssocTy=()>>;
 532    |                          ^^^^^^^^^^^^^^^^^^^^^ expected 1 generic argument
 533    |
 534 note: trait defined here, with 1 generic parameter: `A`
 535   --> $DIR/wrong-number-of-args.rs:197:15
 536    |
 537 LL |         trait GenericLifetimeTypeAT<'a, A> {
 538    |               ^^^^^^^^^^^^^^^^^^^^^     -
 539 help: add missing generic argument
 540    |
 541 LL |         type A = Box<dyn GenericLifetimeTypeAT<A, AssocTy=()>>;
 542    |                                                ++
 543
 544 error[E0106]: missing lifetime specifier
 545   --> $DIR/wrong-number-of-args.rs:201:48
 546    |
 547 LL |         type A = Box<dyn GenericLifetimeTypeAT<AssocTy=()>>;
 548    |                                                ^ expected named lifetime parameter
 549    |
 550 help: consider introducing a named lifetime parameter
 551    |
 552 LL |         type A<'a> = Box<dyn GenericLifetimeTypeAT<'a, AssocTy=()>>;
 553    |               ++++                                 +++
 554
 555 error[E0107]: this trait takes 1 generic argument but 0 generic arguments were supplied
 556   --> $DIR/wrong-number-of-args.rs:207:26
 557    |
 558 LL |         type B = Box<dyn GenericLifetimeTypeAT<'static, AssocTy=()>>;
 559    |                          ^^^^^^^^^^^^^^^^^^^^^ expected 1 generic argument
 560    |
 561 note: trait defined here, with 1 generic parameter: `A`
 562   --> $DIR/wrong-number-of-args.rs:197:15
 563    |
 564 LL |         trait GenericLifetimeTypeAT<'a, A> {
 565    |               ^^^^^^^^^^^^^^^^^^^^^     -
 566 help: add missing generic argument
 567    |
 568 LL |         type B = Box<dyn GenericLifetimeTypeAT<'static, A, AssocTy=()>>;
 569    |                                                       +++
 570
 571 error[E0107]: this trait takes 1 lifetime argument but 2 lifetime arguments were supplied
 572   --> $DIR/wrong-number-of-args.rs:211:26
 573    |
 574 LL |         type C = Box<dyn GenericLifetimeTypeAT<'static, 'static, AssocTy=()>>;
 575    |                          ^^^^^^^^^^^^^^^^^^^^^          ------- help: remove this lifetime argument
 576    |                          |
 577    |                          expected 1 lifetime argument
 578    |
 579 note: trait defined here, with 1 lifetime parameter: `'a`
 580   --> $DIR/wrong-number-of-args.rs:197:15
 581    |
 582 LL |         trait GenericLifetimeTypeAT<'a, A> {
 583    |               ^^^^^^^^^^^^^^^^^^^^^ --
 584
 585 error[E0107]: this trait takes 1 generic argument but 0 generic arguments were supplied
 586   --> $DIR/wrong-number-of-args.rs:211:26
 587    |
 588 LL |         type C = Box<dyn GenericLifetimeTypeAT<'static, 'static, AssocTy=()>>;
 589    |                          ^^^^^^^^^^^^^^^^^^^^^ expected 1 generic argument
 590    |
 591 note: trait defined here, with 1 generic parameter: `A`
 592   --> $DIR/wrong-number-of-args.rs:197:15
 593    |
 594 LL |         trait GenericLifetimeTypeAT<'a, A> {
 595    |               ^^^^^^^^^^^^^^^^^^^^^     -
 596 help: add missing generic argument
 597    |
 598 LL |         type C = Box<dyn GenericLifetimeTypeAT<'static, 'static, A, AssocTy=()>>;
 599    |                                                                +++
 600
 601 error[E0106]: missing lifetime specifier
 602   --> $DIR/wrong-number-of-args.rs:217:48
 603    |
 604 LL |         type D = Box<dyn GenericLifetimeTypeAT<(), AssocTy=()>>;
 605    |                                                ^ expected named lifetime parameter
 606    |
 607 help: consider introducing a named lifetime parameter
 608    |
 609 LL |         type D<'a> = Box<dyn GenericLifetimeTypeAT<'a, (), AssocTy=()>>;
 610    |               ++++                                 +++
 611
 612 error[E0107]: this trait takes 1 generic argument but 2 generic arguments were supplied
 613   --> $DIR/wrong-number-of-args.rs:221:26
 614    |
 615 LL |         type E = Box<dyn GenericLifetimeTypeAT<(), (), AssocTy=()>>;
 616    |                          ^^^^^^^^^^^^^^^^^^^^^     -- help: remove this generic argument
 617    |                          |
 618    |                          expected 1 generic argument
 619    |
 620 note: trait defined here, with 1 generic parameter: `A`
 621   --> $DIR/wrong-number-of-args.rs:197:15
 622    |
 623 LL |         trait GenericLifetimeTypeAT<'a, A> {
 624    |               ^^^^^^^^^^^^^^^^^^^^^     -
 625
 626 error[E0106]: missing lifetime specifier
 627   --> $DIR/wrong-number-of-args.rs:221:48
 628    |
 629 LL |         type E = Box<dyn GenericLifetimeTypeAT<(), (), AssocTy=()>>;
 630    |                                                ^ expected named lifetime parameter
 631    |
 632 help: consider introducing a named lifetime parameter
 633    |
 634 LL |         type E<'a> = Box<dyn GenericLifetimeTypeAT<'a, (), (), AssocTy=()>>;
 635    |               ++++                                 +++
 636
 637 error[E0107]: this trait takes 1 lifetime argument but 2 lifetime arguments were supplied
 638   --> $DIR/wrong-number-of-args.rs:227:26
 639    |
 640 LL |         type F = Box<dyn GenericLifetimeTypeAT<'static, 'static, (), AssocTy=()>>;
 641    |                          ^^^^^^^^^^^^^^^^^^^^^          ------- help: remove this lifetime argument
 642    |                          |
 643    |                          expected 1 lifetime argument
 644    |
 645 note: trait defined here, with 1 lifetime parameter: `'a`
 646   --> $DIR/wrong-number-of-args.rs:197:15
 647    |
 648 LL |         trait GenericLifetimeTypeAT<'a, A> {
 649    |               ^^^^^^^^^^^^^^^^^^^^^ --
 650
 651 error[E0107]: this trait takes 1 generic argument but 2 generic arguments were supplied
 652   --> $DIR/wrong-number-of-args.rs:231:26
 653    |
 654 LL |         type G = Box<dyn GenericLifetimeTypeAT<'static, (), (), AssocTy=()>>;
 655    |                          ^^^^^^^^^^^^^^^^^^^^^              -- help: remove this generic argument
 656    |                          |
 657    |                          expected 1 generic argument
 658    |
 659 note: trait defined here, with 1 generic parameter: `A`
 660   --> $DIR/wrong-number-of-args.rs:197:15
 661    |
 662 LL |         trait GenericLifetimeTypeAT<'a, A> {
 663    |               ^^^^^^^^^^^^^^^^^^^^^     -
 664
 665 error[E0107]: this trait takes 1 lifetime argument but 2 lifetime arguments were supplied
 666   --> $DIR/wrong-number-of-args.rs:235:26
 667    |
 668 LL |         type H = Box<dyn GenericLifetimeTypeAT<'static, 'static, (), (), AssocTy=()>>;
 669    |                          ^^^^^^^^^^^^^^^^^^^^^          ------- help: remove this lifetime argument
 670    |                          |
 671    |                          expected 1 lifetime argument
 672    |
 673 note: trait defined here, with 1 lifetime parameter: `'a`
 674   --> $DIR/wrong-number-of-args.rs:197:15
 675    |
 676 LL |         trait GenericLifetimeTypeAT<'a, A> {
 677    |               ^^^^^^^^^^^^^^^^^^^^^ --
 678
 679 error[E0107]: this trait takes 1 generic argument but 2 generic arguments were supplied
 680   --> $DIR/wrong-number-of-args.rs:235:26
 681    |
 682 LL |         type H = Box<dyn GenericLifetimeTypeAT<'static, 'static, (), (), AssocTy=()>>;
 683    |                          ^^^^^^^^^^^^^^^^^^^^^                       -- help: remove this generic argument
 684    |                          |
 685    |                          expected 1 generic argument
 686    |
 687 note: trait defined here, with 1 generic parameter: `A`
 688   --> $DIR/wrong-number-of-args.rs:197:15
 689    |
 690 LL |         trait GenericLifetimeTypeAT<'a, A> {
 691    |               ^^^^^^^^^^^^^^^^^^^^^     -
 692
 693 error[E0107]: this trait takes 2 generic arguments but 0 generic arguments were supplied
 694   --> $DIR/wrong-number-of-args.rs:247:26
 695    |
 696 LL |         type A = Box<dyn GenericTypeTypeAT<AssocTy=()>>;
 697    |                          ^^^^^^^^^^^^^^^^^ expected 2 generic arguments
 698    |
 699 note: trait defined here, with 2 generic parameters: `A`, `B`
 700   --> $DIR/wrong-number-of-args.rs:243:15
 701    |
 702 LL |         trait GenericTypeTypeAT<A, B> {
 703    |               ^^^^^^^^^^^^^^^^^ -  -
 704 help: add missing generic arguments
 705    |
 706 LL |         type A = Box<dyn GenericTypeTypeAT<A, B, AssocTy=()>>;
 707    |                                            +++++
 708
 709 error[E0107]: this trait takes 2 generic arguments but 1 generic argument was supplied
 710   --> $DIR/wrong-number-of-args.rs:251:26
 711    |
 712 LL |         type B = Box<dyn GenericTypeTypeAT<(), AssocTy=()>>;
 713    |                          ^^^^^^^^^^^^^^^^^ -- supplied 1 generic argument
 714    |                          |
 715    |                          expected 2 generic arguments
 716    |
 717 note: trait defined here, with 2 generic parameters: `A`, `B`
 718   --> $DIR/wrong-number-of-args.rs:243:15
 719    |
 720 LL |         trait GenericTypeTypeAT<A, B> {
 721    |               ^^^^^^^^^^^^^^^^^ -  -
 722 help: add missing generic argument
 723    |
 724 LL |         type B = Box<dyn GenericTypeTypeAT<(), B, AssocTy=()>>;
 725    |                                              +++
 726
 727 error[E0107]: this trait takes 2 generic arguments but 3 generic arguments were supplied
 728   --> $DIR/wrong-number-of-args.rs:255:26
 729    |
 730 LL |         type C = Box<dyn GenericTypeTypeAT<(), (), (), AssocTy=()>>;
 731    |                          ^^^^^^^^^^^^^^^^^         -- help: remove this generic argument
 732    |                          |
 733    |                          expected 2 generic arguments
 734    |
 735 note: trait defined here, with 2 generic parameters: `A`, `B`
 736   --> $DIR/wrong-number-of-args.rs:243:15
 737    |
 738 LL |         trait GenericTypeTypeAT<A, B> {
 739    |               ^^^^^^^^^^^^^^^^^ -  -
 740
 741 error[E0106]: missing lifetime specifiers
 742   --> $DIR/wrong-number-of-args.rs:265:52
 743    |
 744 LL |         type A = Box<dyn GenericLifetimeLifetimeAT<AssocTy=()>>;
 745    |                                                    ^ expected 2 lifetime parameters
 746    |
 747 help: consider introducing a named lifetime parameter
 748    |
 749 LL |         type A<'a> = Box<dyn GenericLifetimeLifetimeAT<'a, 'a, AssocTy=()>>;
 750    |               ++++                                     +++++++
 751
 752 error[E0107]: this trait takes 2 lifetime arguments but 1 lifetime argument was supplied
 753   --> $DIR/wrong-number-of-args.rs:269:26
 754    |
 755 LL |         type B = Box<dyn GenericLifetimeLifetimeAT<'static, AssocTy=()>>;
 756    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^ ------- supplied 1 lifetime argument
 757    |                          |
 758    |                          expected 2 lifetime arguments
 759    |
 760 note: trait defined here, with 2 lifetime parameters: `'a`, `'b`
 761   --> $DIR/wrong-number-of-args.rs:261:15
 762    |
 763 LL |         trait GenericLifetimeLifetimeAT<'a, 'b> {
 764    |               ^^^^^^^^^^^^^^^^^^^^^^^^^ --  --
 765 help: add missing lifetime argument
 766    |
 767 LL |         type B = Box<dyn GenericLifetimeLifetimeAT<'static, 'b, AssocTy=()>>;
 768    |                                                           ++++
 769
 770 error[E0107]: this trait takes 1 generic argument but 0 generic arguments were supplied
 771   --> $DIR/wrong-number-of-args.rs:279:26
 772    |
 773 LL |         type A = Box<dyn GenericLifetimeLifetimeTypeAT<AssocTy=()>>;
 774    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected 1 generic argument
 775    |
 776 note: trait defined here, with 1 generic parameter: `A`
 777   --> $DIR/wrong-number-of-args.rs:275:15
 778    |
 779 LL |         trait GenericLifetimeLifetimeTypeAT<'a, 'b, A> {
 780    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^         -
 781 help: add missing generic argument
 782    |
 783 LL |         type A = Box<dyn GenericLifetimeLifetimeTypeAT<A, AssocTy=()>>;
 784    |                                                        ++
 785
 786 error[E0106]: missing lifetime specifiers
 787   --> $DIR/wrong-number-of-args.rs:279:56
 788    |
 789 LL |         type A = Box<dyn GenericLifetimeLifetimeTypeAT<AssocTy=()>>;
 790    |                                                        ^ expected 2 lifetime parameters
 791    |
 792 help: consider introducing a named lifetime parameter
 793    |
 794 LL |         type A<'a> = Box<dyn GenericLifetimeLifetimeTypeAT<'a, 'a, AssocTy=()>>;
 795    |               ++++                                         +++++++
 796
 797 error[E0107]: this trait takes 2 lifetime arguments but 1 lifetime argument was supplied
 798   --> $DIR/wrong-number-of-args.rs:285:26
 799    |
 800 LL |         type B = Box<dyn GenericLifetimeLifetimeTypeAT<'static, AssocTy=()>>;
 801    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ------- supplied 1 lifetime argument
 802    |                          |
 803    |                          expected 2 lifetime arguments
 804    |
 805 note: trait defined here, with 2 lifetime parameters: `'a`, `'b`
 806   --> $DIR/wrong-number-of-args.rs:275:15
 807    |
 808 LL |         trait GenericLifetimeLifetimeTypeAT<'a, 'b, A> {
 809    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ --  --
 810 help: add missing lifetime argument
 811    |
 812 LL |         type B = Box<dyn GenericLifetimeLifetimeTypeAT<'static, 'b, AssocTy=()>>;
 813    |                                                               ++++
 814
 815 error[E0107]: this trait takes 1 generic argument but 0 generic arguments were supplied
 816   --> $DIR/wrong-number-of-args.rs:285:26
 817    |
 818 LL |         type B = Box<dyn GenericLifetimeLifetimeTypeAT<'static, AssocTy=()>>;
 819    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected 1 generic argument
 820    |
 821 note: trait defined here, with 1 generic parameter: `A`
 822   --> $DIR/wrong-number-of-args.rs:275:15
 823    |
 824 LL |         trait GenericLifetimeLifetimeTypeAT<'a, 'b, A> {
 825    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^         -
 826 help: add missing generic argument
 827    |
 828 LL |         type B = Box<dyn GenericLifetimeLifetimeTypeAT<'static, A, AssocTy=()>>;
 829    |                                                               +++
 830
 831 error[E0107]: this trait takes 2 lifetime arguments but 1 lifetime argument was supplied
 832   --> $DIR/wrong-number-of-args.rs:291:26
 833    |
 834 LL |         type C = Box<dyn GenericLifetimeLifetimeTypeAT<'static, (), AssocTy=()>>;
 835    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ------- supplied 1 lifetime argument
 836    |                          |
 837    |                          expected 2 lifetime arguments
 838    |
 839 note: trait defined here, with 2 lifetime parameters: `'a`, `'b`
 840   --> $DIR/wrong-number-of-args.rs:275:15
 841    |
 842 LL |         trait GenericLifetimeLifetimeTypeAT<'a, 'b, A> {
 843    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ --  --
 844 help: add missing lifetime argument
 845    |
 846 LL |         type C = Box<dyn GenericLifetimeLifetimeTypeAT<'static, 'b, (), AssocTy=()>>;
 847    |                                                               ++++
 848
 849 error[E0107]: missing generics for struct `HashMap`
 850   --> $DIR/wrong-number-of-args.rs:301:18
 851    |
 852 LL |         type A = HashMap;
 853    |                  ^^^^^^^ expected at least 2 generic arguments
 854    |
 855 note: struct defined here, with at least 2 generic parameters: `K`, `V`
 856   --> $SRC_DIR/std/src/collections/hash/map.rs:LL:COL
 857    |
 858 LL | pub struct HashMap<K, V, S = RandomState> {
 859    |            ^^^^^^^ -  -
 860 help: add missing generic arguments
 861    |
 862 LL |         type A = HashMap<K, V>;
 863    |                  ~~~~~~~~~~~~~
 864
 865 error[E0107]: this struct takes at least 2 generic arguments but 1 generic argument was supplied
 866   --> $DIR/wrong-number-of-args.rs:305:18
 867    |
 868 LL |         type B = HashMap<String>;
 869    |                  ^^^^^^^ ------ supplied 1 generic argument
 870    |                  |
 871    |                  expected at least 2 generic arguments
 872    |
 873 note: struct defined here, with at least 2 generic parameters: `K`, `V`
 874   --> $SRC_DIR/std/src/collections/hash/map.rs:LL:COL
 875    |
 876 LL | pub struct HashMap<K, V, S = RandomState> {
 877    |            ^^^^^^^ -  -
 878 help: add missing generic argument
 879    |
 880 LL |         type B = HashMap<String, V>;
 881    |                                +++
 882
 883 error[E0107]: this struct takes 0 lifetime arguments but 1 lifetime argument was supplied
 884   --> $DIR/wrong-number-of-args.rs:309:18
 885    |
 886 LL |         type C = HashMap<'static>;
 887    |                  ^^^^^^^--------- help: remove these generics
 888    |                  |
 889    |                  expected 0 lifetime arguments
 890    |
 891 note: struct defined here, with 0 lifetime parameters
 892   --> $SRC_DIR/std/src/collections/hash/map.rs:LL:COL
 893    |
 894 LL | pub struct HashMap<K, V, S = RandomState> {
 895    |            ^^^^^^^
 896
 897 error[E0107]: this struct takes at least 2 generic arguments but 0 generic arguments were supplied
 898   --> $DIR/wrong-number-of-args.rs:309:18
 899    |
 900 LL |         type C = HashMap<'static>;
 901    |                  ^^^^^^^ expected at least 2 generic arguments
 902    |
 903 note: struct defined here, with at least 2 generic parameters: `K`, `V`
 904   --> $SRC_DIR/std/src/collections/hash/map.rs:LL:COL
 905    |
 906 LL | pub struct HashMap<K, V, S = RandomState> {
 907    |            ^^^^^^^ -  -
 908 help: add missing generic arguments
 909    |
 910 LL |         type C = HashMap<'static, K, V>;
 911    |                                 ++++++
 912
 913 error[E0107]: this struct takes at most 3 generic arguments but 4 generic arguments were supplied
 914   --> $DIR/wrong-number-of-args.rs:315:18
 915    |
 916 LL |         type D = HashMap<usize, String, char, f64>;
 917    |                  ^^^^^^^                      --- help: remove this generic argument
 918    |                  |
 919    |                  expected at most 3 generic arguments
 920    |
 921 note: struct defined here, with at most 3 generic parameters: `K`, `V`, `S`
 922   --> $SRC_DIR/std/src/collections/hash/map.rs:LL:COL
 923    |
 924 LL | pub struct HashMap<K, V, S = RandomState> {
 925    |            ^^^^^^^ -  -  ---------------
 926
 927 error[E0107]: this struct takes at least 2 generic arguments but 0 generic arguments were supplied
 928   --> $DIR/wrong-number-of-args.rs:319:18
 929    |
 930 LL |         type E = HashMap<>;
 931    |                  ^^^^^^^ expected at least 2 generic arguments
 932    |
 933 note: struct defined here, with at least 2 generic parameters: `K`, `V`
 934   --> $SRC_DIR/std/src/collections/hash/map.rs:LL:COL
 935    |
 936 LL | pub struct HashMap<K, V, S = RandomState> {
 937    |            ^^^^^^^ -  -
 938 help: add missing generic arguments
 939    |
 940 LL |         type E = HashMap<K, V>;
 941    |                          ++++
 942
 943 error[E0107]: missing generics for enum `Result`
 944   --> $DIR/wrong-number-of-args.rs:325:18
 945    |
 946 LL |         type A = Result;
 947    |                  ^^^^^^ expected 2 generic arguments
 948    |
 949 note: enum defined here, with 2 generic parameters: `T`, `E`
 950   --> $SRC_DIR/core/src/result.rs:LL:COL
 951    |
 952 LL | pub enum Result<T, E> {
 953    |          ^^^^^^ -  -
 954 help: add missing generic arguments
 955    |
 956 LL |         type A = Result<T, E>;
 957    |                  ~~~~~~~~~~~~
 958
 959 error[E0107]: this enum takes 2 generic arguments but 1 generic argument was supplied
 960   --> $DIR/wrong-number-of-args.rs:329:18
 961    |
 962 LL |         type B = Result<String>;
 963    |                  ^^^^^^ ------ supplied 1 generic argument
 964    |                  |
 965    |                  expected 2 generic arguments
 966    |
 967 note: enum defined here, with 2 generic parameters: `T`, `E`
 968   --> $SRC_DIR/core/src/result.rs:LL:COL
 969    |
 970 LL | pub enum Result<T, E> {
 971    |          ^^^^^^ -  -
 972 help: add missing generic argument
 973    |
 974 LL |         type B = Result<String, E>;
 975    |                               +++
 976
 977 error[E0107]: this enum takes 0 lifetime arguments but 1 lifetime argument was supplied
 978   --> $DIR/wrong-number-of-args.rs:333:18
 979    |
 980 LL |         type C = Result<'static>;
 981    |                  ^^^^^^--------- help: remove these generics
 982    |                  |
 983    |                  expected 0 lifetime arguments
 984    |
 985 note: enum defined here, with 0 lifetime parameters
 986   --> $SRC_DIR/core/src/result.rs:LL:COL
 987    |
 988 LL | pub enum Result<T, E> {
 989    |          ^^^^^^
 990
 991 error[E0107]: this enum takes 2 generic arguments but 0 generic arguments were supplied
 992   --> $DIR/wrong-number-of-args.rs:333:18
 993    |
 994 LL |         type C = Result<'static>;
 995    |                  ^^^^^^ expected 2 generic arguments
 996    |
 997 note: enum defined here, with 2 generic parameters: `T`, `E`
 998   --> $SRC_DIR/core/src/result.rs:LL:COL
 999    |
1000 LL | pub enum Result<T, E> {
1001    |          ^^^^^^ -  -
1002 help: add missing generic arguments
1003    |
1004 LL |         type C = Result<'static, T, E>;
1005    |                                ++++++
1006
1007 error[E0107]: this enum takes 2 generic arguments but 3 generic arguments were supplied
1008   --> $DIR/wrong-number-of-args.rs:339:18
1009    |
1010 LL |         type D = Result<usize, String, char>;
1011    |                  ^^^^^^                ---- help: remove this generic argument
1012    |                  |
1013    |                  expected 2 generic arguments
1014    |
1015 note: enum defined here, with 2 generic parameters: `T`, `E`
1016   --> $SRC_DIR/core/src/result.rs:LL:COL
1017    |
1018 LL | pub enum Result<T, E> {
1019    |          ^^^^^^ -  -
1020
1021 error[E0107]: this enum takes 2 generic arguments but 0 generic arguments were supplied
1022   --> $DIR/wrong-number-of-args.rs:343:18
1023    |
1024 LL |         type E = Result<>;
1025    |                  ^^^^^^ expected 2 generic arguments
1026    |
1027 note: enum defined here, with 2 generic parameters: `T`, `E`
1028   --> $SRC_DIR/core/src/result.rs:LL:COL
1029    |
1030 LL | pub enum Result<T, E> {
1031    |          ^^^^^^ -  -
1032 help: add missing generic arguments
1033    |
1034 LL |         type E = Result<T, E>;
1035    |                         ++++
1036
1037 error: aborting due to 71 previous errors
1038
1039 Some errors have detailed explanations: E0106, E0107.
1040 For more information about an error, try `rustc --explain E0106`.