src/test/ui/associated-type-bounds/duplicate.stderr

   1 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
   2   --> $DIR/duplicate.rs:7:36
   3    |
   4 LL | struct SI1<T: Iterator<Item: Copy, Item: Send>> {
   5    |                        ----------  ^^^^^^^^^^ re-bound here
   6    |                        |
   7    |                        `Item` bound here first
   8
   9 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  10   --> $DIR/duplicate.rs:11:36
  11    |
  12 LL | struct SI2<T: Iterator<Item: Copy, Item: Copy>> {
  13    |                        ----------  ^^^^^^^^^^ re-bound here
  14    |                        |
  15    |                        `Item` bound here first
  16
  17 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  18   --> $DIR/duplicate.rs:15:39
  19    |
  20 LL | struct SI3<T: Iterator<Item: 'static, Item: 'static>> {
  21    |                        -------------  ^^^^^^^^^^^^^ re-bound here
  22    |                        |
  23    |                        `Item` bound here first
  24
  25 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  26   --> $DIR/duplicate.rs:21:29
  27    |
  28 LL |     T: Iterator<Item: Copy, Item: Send>,
  29    |                 ----------  ^^^^^^^^^^ re-bound here
  30    |                 |
  31    |                 `Item` bound here first
  32
  33 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  34   --> $DIR/duplicate.rs:28:29
  35    |
  36 LL |     T: Iterator<Item: Copy, Item: Copy>,
  37    |                 ----------  ^^^^^^^^^^ re-bound here
  38    |                 |
  39    |                 `Item` bound here first
  40
  41 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  42   --> $DIR/duplicate.rs:35:32
  43    |
  44 LL |     T: Iterator<Item: 'static, Item: 'static>,
  45    |                 -------------  ^^^^^^^^^^^^^ re-bound here
  46    |                 |
  47    |                 `Item` bound here first
  48
  49 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  50   --> $DIR/duplicate.rs:41:34
  51    |
  52 LL | enum EI1<T: Iterator<Item: Copy, Item: Send>> {
  53    |                      ----------  ^^^^^^^^^^ re-bound here
  54    |                      |
  55    |                      `Item` bound here first
  56
  57 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  58   --> $DIR/duplicate.rs:45:34
  59    |
  60 LL | enum EI2<T: Iterator<Item: Copy, Item: Copy>> {
  61    |                      ----------  ^^^^^^^^^^ re-bound here
  62    |                      |
  63    |                      `Item` bound here first
  64
  65 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  66   --> $DIR/duplicate.rs:49:37
  67    |
  68 LL | enum EI3<T: Iterator<Item: 'static, Item: 'static>> {
  69    |                      -------------  ^^^^^^^^^^^^^ re-bound here
  70    |                      |
  71    |                      `Item` bound here first
  72
  73 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  74   --> $DIR/duplicate.rs:55:29
  75    |
  76 LL |     T: Iterator<Item: Copy, Item: Send>,
  77    |                 ----------  ^^^^^^^^^^ re-bound here
  78    |                 |
  79    |                 `Item` bound here first
  80
  81 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  82   --> $DIR/duplicate.rs:62:29
  83    |
  84 LL |     T: Iterator<Item: Copy, Item: Copy>,
  85    |                 ----------  ^^^^^^^^^^ re-bound here
  86    |                 |
  87    |                 `Item` bound here first
  88
  89 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  90   --> $DIR/duplicate.rs:69:32
  91    |
  92 LL |     T: Iterator<Item: 'static, Item: 'static>,
  93    |                 -------------  ^^^^^^^^^^^^^ re-bound here
  94    |                 |
  95    |                 `Item` bound here first
  96
  97 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
  98   --> $DIR/duplicate.rs:75:35
  99    |
 100 LL | union UI1<T: Iterator<Item: Copy, Item: Send>> {
 101    |                       ----------  ^^^^^^^^^^ re-bound here
 102    |                       |
 103    |                       `Item` bound here first
 104
 105 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 106   --> $DIR/duplicate.rs:79:35
 107    |
 108 LL | union UI2<T: Iterator<Item: Copy, Item: Copy>> {
 109    |                       ----------  ^^^^^^^^^^ re-bound here
 110    |                       |
 111    |                       `Item` bound here first
 112
 113 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 114   --> $DIR/duplicate.rs:83:38
 115    |
 116 LL | union UI3<T: Iterator<Item: 'static, Item: 'static>> {
 117    |                       -------------  ^^^^^^^^^^^^^ re-bound here
 118    |                       |
 119    |                       `Item` bound here first
 120
 121 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 122   --> $DIR/duplicate.rs:89:29
 123    |
 124 LL |     T: Iterator<Item: Copy, Item: Send>,
 125    |                 ----------  ^^^^^^^^^^ re-bound here
 126    |                 |
 127    |                 `Item` bound here first
 128
 129 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 130   --> $DIR/duplicate.rs:96:29
 131    |
 132 LL |     T: Iterator<Item: Copy, Item: Copy>,
 133    |                 ----------  ^^^^^^^^^^ re-bound here
 134    |                 |
 135    |                 `Item` bound here first
 136
 137 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 138   --> $DIR/duplicate.rs:103:32
 139    |
 140 LL |     T: Iterator<Item: 'static, Item: 'static>,
 141    |                 -------------  ^^^^^^^^^^^^^ re-bound here
 142    |                 |
 143    |                 `Item` bound here first
 144
 145 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 146   --> $DIR/duplicate.rs:109:32
 147    |
 148 LL | fn FI1<T: Iterator<Item: Copy, Item: Send>>() {}
 149    |                    ----------  ^^^^^^^^^^ re-bound here
 150    |                    |
 151    |                    `Item` bound here first
 152
 153 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 154   --> $DIR/duplicate.rs:111:32
 155    |
 156 LL | fn FI2<T: Iterator<Item: Copy, Item: Copy>>() {}
 157    |                    ----------  ^^^^^^^^^^ re-bound here
 158    |                    |
 159    |                    `Item` bound here first
 160
 161 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 162   --> $DIR/duplicate.rs:113:35
 163    |
 164 LL | fn FI3<T: Iterator<Item: 'static, Item: 'static>>() {}
 165    |                    -------------  ^^^^^^^^^^^^^ re-bound here
 166    |                    |
 167    |                    `Item` bound here first
 168
 169 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 170   --> $DIR/duplicate.rs:117:29
 171    |
 172 LL |     T: Iterator<Item: Copy, Item: Send>,
 173    |                 ----------  ^^^^^^^^^^ re-bound here
 174    |                 |
 175    |                 `Item` bound here first
 176
 177 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 178   --> $DIR/duplicate.rs:123:29
 179    |
 180 LL |     T: Iterator<Item: Copy, Item: Copy>,
 181    |                 ----------  ^^^^^^^^^^ re-bound here
 182    |                 |
 183    |                 `Item` bound here first
 184
 185 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 186   --> $DIR/duplicate.rs:129:32
 187    |
 188 LL |     T: Iterator<Item: 'static, Item: 'static>,
 189    |                 -------------  ^^^^^^^^^^^^^ re-bound here
 190    |                 |
 191    |                 `Item` bound here first
 192
 193 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 194   --> $DIR/duplicate.rs:134:42
 195    |
 196 LL | fn FRPIT1() -> impl Iterator<Item: Copy, Item: Send> {
 197    |                              ----------  ^^^^^^^^^^ re-bound here
 198    |                              |
 199    |                              `Item` bound here first
 200
 201 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 202   --> $DIR/duplicate.rs:138:42
 203    |
 204 LL | fn FRPIT2() -> impl Iterator<Item: Copy, Item: Copy> {
 205    |                              ----------  ^^^^^^^^^^ re-bound here
 206    |                              |
 207    |                              `Item` bound here first
 208
 209 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 210   --> $DIR/duplicate.rs:142:45
 211    |
 212 LL | fn FRPIT3() -> impl Iterator<Item: 'static, Item: 'static> {
 213    |                              -------------  ^^^^^^^^^^^^^ re-bound here
 214    |                              |
 215    |                              `Item` bound here first
 216
 217 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 218   --> $DIR/duplicate.rs:146:40
 219    |
 220 LL | fn FAPIT1(_: impl Iterator<Item: Copy, Item: Send>) {}
 221    |                            ----------  ^^^^^^^^^^ re-bound here
 222    |                            |
 223    |                            `Item` bound here first
 224
 225 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 226   --> $DIR/duplicate.rs:148:40
 227    |
 228 LL | fn FAPIT2(_: impl Iterator<Item: Copy, Item: Copy>) {}
 229    |                            ----------  ^^^^^^^^^^ re-bound here
 230    |                            |
 231    |                            `Item` bound here first
 232
 233 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 234   --> $DIR/duplicate.rs:150:43
 235    |
 236 LL | fn FAPIT3(_: impl Iterator<Item: 'static, Item: 'static>) {}
 237    |                            -------------  ^^^^^^^^^^^^^ re-bound here
 238    |                            |
 239    |                            `Item` bound here first
 240
 241 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 242   --> $DIR/duplicate.rs:153:35
 243    |
 244 LL | type TAI1<T: Iterator<Item: Copy, Item: Send>> = T;
 245    |                       ----------  ^^^^^^^^^^ re-bound here
 246    |                       |
 247    |                       `Item` bound here first
 248
 249 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 250   --> $DIR/duplicate.rs:155:35
 251    |
 252 LL | type TAI2<T: Iterator<Item: Copy, Item: Copy>> = T;
 253    |                       ----------  ^^^^^^^^^^ re-bound here
 254    |                       |
 255    |                       `Item` bound here first
 256
 257 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 258   --> $DIR/duplicate.rs:157:38
 259    |
 260 LL | type TAI3<T: Iterator<Item: 'static, Item: 'static>> = T;
 261    |                       -------------  ^^^^^^^^^^^^^ re-bound here
 262    |                       |
 263    |                       `Item` bound here first
 264
 265 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 266   --> $DIR/duplicate.rs:161:29
 267    |
 268 LL |     T: Iterator<Item: Copy, Item: Send>,
 269    |                 ----------  ^^^^^^^^^^ re-bound here
 270    |                 |
 271    |                 `Item` bound here first
 272
 273 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 274   --> $DIR/duplicate.rs:166:29
 275    |
 276 LL |     T: Iterator<Item: Copy, Item: Copy>,
 277    |                 ----------  ^^^^^^^^^^ re-bound here
 278    |                 |
 279    |                 `Item` bound here first
 280
 281 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 282   --> $DIR/duplicate.rs:171:32
 283    |
 284 LL |     T: Iterator<Item: 'static, Item: 'static>,
 285    |                 -------------  ^^^^^^^^^^^^^ re-bound here
 286    |                 |
 287    |                 `Item` bound here first
 288
 289 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 290   --> $DIR/duplicate.rs:175:36
 291    |
 292 LL | type ETAI1<T: Iterator<Item: Copy, Item: Send>> = impl Copy;
 293    |                        ----------  ^^^^^^^^^^ re-bound here
 294    |                        |
 295    |                        `Item` bound here first
 296
 297 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 298   --> $DIR/duplicate.rs:177:36
 299    |
 300 LL | type ETAI2<T: Iterator<Item: Copy, Item: Copy>> = impl Copy;
 301    |                        ----------  ^^^^^^^^^^ re-bound here
 302    |                        |
 303    |                        `Item` bound here first
 304
 305 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 306   --> $DIR/duplicate.rs:179:39
 307    |
 308 LL | type ETAI3<T: Iterator<Item: 'static, Item: 'static>> = impl Copy;
 309    |                        -------------  ^^^^^^^^^^^^^ re-bound here
 310    |                        |
 311    |                        `Item` bound here first
 312
 313 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 314   --> $DIR/duplicate.rs:181:40
 315    |
 316 LL | type ETAI4 = impl Iterator<Item: Copy, Item: Send>;
 317    |                            ----------  ^^^^^^^^^^ re-bound here
 318    |                            |
 319    |                            `Item` bound here first
 320
 321 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 322   --> $DIR/duplicate.rs:183:40
 323    |
 324 LL | type ETAI5 = impl Iterator<Item: Copy, Item: Copy>;
 325    |                            ----------  ^^^^^^^^^^ re-bound here
 326    |                            |
 327    |                            `Item` bound here first
 328
 329 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 330   --> $DIR/duplicate.rs:185:43
 331    |
 332 LL | type ETAI6 = impl Iterator<Item: 'static, Item: 'static>;
 333    |                            -------------  ^^^^^^^^^^^^^ re-bound here
 334    |                            |
 335    |                            `Item` bound here first
 336
 337 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 338   --> $DIR/duplicate.rs:188:36
 339    |
 340 LL | trait TRI1<T: Iterator<Item: Copy, Item: Send>> {}
 341    |                        ----------  ^^^^^^^^^^ re-bound here
 342    |                        |
 343    |                        `Item` bound here first
 344
 345 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 346   --> $DIR/duplicate.rs:190:36
 347    |
 348 LL | trait TRI2<T: Iterator<Item: Copy, Item: Copy>> {}
 349    |                        ----------  ^^^^^^^^^^ re-bound here
 350    |                        |
 351    |                        `Item` bound here first
 352
 353 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 354   --> $DIR/duplicate.rs:192:39
 355    |
 356 LL | trait TRI3<T: Iterator<Item: 'static, Item: 'static>> {}
 357    |                        -------------  ^^^^^^^^^^^^^ re-bound here
 358    |                        |
 359    |                        `Item` bound here first
 360
 361 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 362   --> $DIR/duplicate.rs:194:34
 363    |
 364 LL | trait TRS1: Iterator<Item: Copy, Item: Send> {}
 365    |                      ----------  ^^^^^^^^^^ re-bound here
 366    |                      |
 367    |                      `Item` bound here first
 368
 369 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 370   --> $DIR/duplicate.rs:196:34
 371    |
 372 LL | trait TRS2: Iterator<Item: Copy, Item: Copy> {}
 373    |                      ----------  ^^^^^^^^^^ re-bound here
 374    |                      |
 375    |                      `Item` bound here first
 376
 377 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 378   --> $DIR/duplicate.rs:198:37
 379    |
 380 LL | trait TRS3: Iterator<Item: 'static, Item: 'static> {}
 381    |                      -------------  ^^^^^^^^^^^^^ re-bound here
 382    |                      |
 383    |                      `Item` bound here first
 384
 385 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 386   --> $DIR/duplicate.rs:202:29
 387    |
 388 LL |     T: Iterator<Item: Copy, Item: Send>,
 389    |                 ----------  ^^^^^^^^^^ re-bound here
 390    |                 |
 391    |                 `Item` bound here first
 392
 393 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 394   --> $DIR/duplicate.rs:208:29
 395    |
 396 LL |     T: Iterator<Item: Copy, Item: Copy>,
 397    |                 ----------  ^^^^^^^^^^ re-bound here
 398    |                 |
 399    |                 `Item` bound here first
 400
 401 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 402   --> $DIR/duplicate.rs:214:32
 403    |
 404 LL |     T: Iterator<Item: 'static, Item: 'static>,
 405    |                 -------------  ^^^^^^^^^^^^^ re-bound here
 406    |                 |
 407    |                 `Item` bound here first
 408
 409 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 410   --> $DIR/duplicate.rs:220:32
 411    |
 412 LL |     Self: Iterator<Item: Copy, Item: Send>,
 413    |                    ----------  ^^^^^^^^^^ re-bound here
 414    |                    |
 415    |                    `Item` bound here first
 416
 417 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 418   --> $DIR/duplicate.rs:220:32
 419    |
 420 LL |     Self: Iterator<Item: Copy, Item: Send>,
 421    |                    ----------  ^^^^^^^^^^ re-bound here
 422    |                    |
 423    |                    `Item` bound here first
 424
 425 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 426   --> $DIR/duplicate.rs:227:32
 427    |
 428 LL |     Self: Iterator<Item: Copy, Item: Copy>,
 429    |                    ----------  ^^^^^^^^^^ re-bound here
 430    |                    |
 431    |                    `Item` bound here first
 432
 433 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 434   --> $DIR/duplicate.rs:227:32
 435    |
 436 LL |     Self: Iterator<Item: Copy, Item: Copy>,
 437    |                    ----------  ^^^^^^^^^^ re-bound here
 438    |                    |
 439    |                    `Item` bound here first
 440
 441 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 442   --> $DIR/duplicate.rs:234:35
 443    |
 444 LL |     Self: Iterator<Item: 'static, Item: 'static>,
 445    |                    -------------  ^^^^^^^^^^^^^ re-bound here
 446    |                    |
 447    |                    `Item` bound here first
 448
 449 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 450   --> $DIR/duplicate.rs:234:35
 451    |
 452 LL |     Self: Iterator<Item: 'static, Item: 'static>,
 453    |                    -------------  ^^^^^^^^^^^^^ re-bound here
 454    |                    |
 455    |                    `Item` bound here first
 456
 457 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 458   --> $DIR/duplicate.rs:252:40
 459    |
 460 LL | type TADyn1 = dyn Iterator<Item: Copy, Item: Send>;
 461    |                            ----------  ^^^^^^^^^^ re-bound here
 462    |                            |
 463    |                            `Item` bound here first
 464
 465 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 466   --> $DIR/duplicate.rs:254:44
 467    |
 468 LL | type TADyn2 = Box<dyn Iterator<Item: Copy, Item: Copy>>;
 469    |                                ----------  ^^^^^^^^^^ re-bound here
 470    |                                |
 471    |                                `Item` bound here first
 472
 473 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 474   --> $DIR/duplicate.rs:256:43
 475    |
 476 LL | type TADyn3 = dyn Iterator<Item: 'static, Item: 'static>;
 477    |                            -------------  ^^^^^^^^^^^^^ re-bound here
 478    |                            |
 479    |                            `Item` bound here first
 480
 481 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 482   --> $DIR/duplicate.rs:240:34
 483    |
 484 LL |     type A: Iterator<Item: Copy, Item: Send>;
 485    |                      ----------  ^^^^^^^^^^ re-bound here
 486    |                      |
 487    |                      `Item` bound here first
 488
 489 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 490   --> $DIR/duplicate.rs:244:34
 491    |
 492 LL |     type A: Iterator<Item: Copy, Item: Copy>;
 493    |                      ----------  ^^^^^^^^^^ re-bound here
 494    |                      |
 495    |                      `Item` bound here first
 496
 497 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
 498   --> $DIR/duplicate.rs:248:37
 499    |
 500 LL |     type A: Iterator<Item: 'static, Item: 'static>;
 501    |                      -------------  ^^^^^^^^^^^^^ re-bound here
 502    |                      |
 503    |                      `Item` bound here first
 504
 505 error: aborting due to 63 previous errors
 506
 507 For more information about this error, try `rustc --explain E0719`.