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

   1 error[E0719]: the value of the associated type `Item` (from trait `Iterator`) is already specified
   2   --> $DIR/duplicate.rs:10:36
   3    |
   4 LL | struct SI1<T: Iterator<Item: Copy, Item: Send>> { f: T }
   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:12:36
  11    |
  12 LL | struct SI2<T: Iterator<Item: Copy, Item: Copy>> { f: T }
  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:14:39
  19    |
  20 LL | struct SI3<T: Iterator<Item: 'static, Item: 'static>> { f: T }
  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:16:45
  27    |
  28 LL | struct SW1<T> where T: Iterator<Item: Copy, Item: Send> { f: T }
  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:18:45
  35    |
  36 LL | struct SW2<T> where T: Iterator<Item: Copy, Item: Copy> { f: T }
  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:20:48
  43    |
  44 LL | struct SW3<T> where T: Iterator<Item: 'static, Item: 'static> { f: T }
  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:23:34
  51    |
  52 LL | enum EI1<T: Iterator<Item: Copy, Item: Send>> { V(T) }
  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:25:34
  59    |
  60 LL | enum EI2<T: Iterator<Item: Copy, Item: Copy>> { V(T) }
  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:27:37
  67    |
  68 LL | enum EI3<T: Iterator<Item: 'static, Item: 'static>> { V(T) }
  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:29:43
  75    |
  76 LL | enum EW1<T> where T: Iterator<Item: Copy, Item: Send> { V(T) }
  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:31:43
  83    |
  84 LL | enum EW2<T> where T: Iterator<Item: Copy, Item: Copy> { V(T) }
  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:33:46
  91    |
  92 LL | enum EW3<T> where T: Iterator<Item: 'static, Item: 'static> { V(T) }
  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:36:35
  99    |
 100 LL | union UI1<T: Iterator<Item: Copy, Item: Send>> { f: T }
 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:38:35
 107    |
 108 LL | union UI2<T: Iterator<Item: Copy, Item: Copy>> { f: T }
 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:40:38
 115    |
 116 LL | union UI3<T: Iterator<Item: 'static, Item: 'static>> { f: T }
 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:42:44
 123    |
 124 LL | union UW1<T> where T: Iterator<Item: Copy, Item: Send> { f: T }
 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:44:44
 131    |
 132 LL | union UW2<T> where T: Iterator<Item: Copy, Item: Copy> { f: T }
 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:46:47
 139    |
 140 LL | union UW3<T> where T: Iterator<Item: 'static, Item: 'static> { f: T }
 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:49: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:51: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:53: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:55:43
 171    |
 172 LL | fn FW1<T>() where 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:57:43
 179    |
 180 LL | fn FW2<T>() where 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:59:46
 187    |
 188 LL | fn FW3<T>() where 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:65:40
 195    |
 196 LL | fn FAPIT1(_: 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:67:40
 203    |
 204 LL | fn FAPIT2(_: 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:69:43
 211    |
 212 LL | fn FAPIT3(_: 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:72:35
 219    |
 220 LL | type TAI1<T: Iterator<Item: Copy, Item: Send>> = T;
 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:74:35
 227    |
 228 LL | type TAI2<T: Iterator<Item: Copy, Item: Copy>> = T;
 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:76:38
 235    |
 236 LL | type TAI3<T: Iterator<Item: 'static, Item: 'static>> = T;
 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:78:44
 243    |
 244 LL | type TAW1<T> where 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:80:44
 251    |
 252 LL | type TAW2<T> where 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:82:47
 259    |
 260 LL | type TAW3<T> where 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:85:36
 267    |
 268 LL | type ETAI1<T: Iterator<Item: Copy, Item: Send>> = impl Copy;
 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:87:36
 275    |
 276 LL | type ETAI2<T: Iterator<Item: Copy, Item: Copy>> = impl 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:89:39
 283    |
 284 LL | type ETAI3<T: Iterator<Item: 'static, Item: 'static>> = impl Copy;
 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:91:40
 291    |
 292 LL | type ETAI4 = impl Iterator<Item: Copy, Item: Send>;
 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:93:40
 299    |
 300 LL | type ETAI5 = impl Iterator<Item: Copy, Item: 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:95:43
 307    |
 308 LL | type ETAI6 = impl Iterator<Item: 'static, Item: 'static>;
 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:98:36
 315    |
 316 LL | trait TRI1<T: 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:100:36
 323    |
 324 LL | trait TRI2<T: 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:102:39
 331    |
 332 LL | trait TRI3<T: 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:104:34
 339    |
 340 LL | trait TRS1: 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:106:34
 347    |
 348 LL | trait TRS2: 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:108:37
 355    |
 356 LL | trait TRS3: 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:110:45
 363    |
 364 LL | trait TRW1<T> where T: 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:112:45
 371    |
 372 LL | trait TRW2<T> where T: 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:114:48
 379    |
 380 LL | trait TRW3<T> where T: 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:116:46
 387    |
 388 LL | trait TRSW1 where Self: 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:116:46
 395    |
 396 LL | trait TRSW1 where Self: Iterator<Item: Copy, Item: Send> {}
 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:119:46
 403    |
 404 LL | trait TRSW2 where Self: Iterator<Item: Copy, Item: Copy> {}
 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:119:46
 411    |
 412 LL | trait TRSW2 where Self: Iterator<Item: Copy, Item: Copy> {}
 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:122:49
 419    |
 420 LL | trait TRSW3 where Self: Iterator<Item: 'static, Item: 'static> {}
 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:122:49
 427    |
 428 LL | trait TRSW3 where Self: Iterator<Item: 'static, Item: 'static> {}
 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:132:40
 435    |
 436 LL | type TADyn1 = dyn Iterator<Item: Copy, Item: Send>;
 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:134:44
 443    |
 444 LL | type TADyn2 = Box<dyn Iterator<Item: Copy, Item: Copy>>;
 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:136:43
 451    |
 452 LL | type TADyn3 = dyn 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:125:43
 459    |
 460 LL | trait TRA1 { type A: 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:127:43
 467    |
 468 LL | trait TRA2 { type A: 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:129:46
 475    |
 476 LL | trait TRA3 { type A: Iterator<Item: 'static, Item: 'static>; }
 477    |                               -------------  ^^^^^^^^^^^^^ re-bound here
 478    |                               |
 479    |                               `Item` bound here first
 480
 481 error: aborting due to 60 previous errors
 482
 483 For more information about this error, try `rustc --explain E0719`.