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

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