src/test/ui/namespace/namespace-mix.stderr

   1 error[E0423]: expected value, found type alias `m1::S`
   2   --> $DIR/namespace-mix.rs:34:11
   3    |
   4 LL |     pub struct TS();
   5    |     ---------------- similarly named tuple struct `TS` defined here
   6 ...
   7 LL |     check(m1::S);
   8    |           ^^^^^
   9    |
  10    = note: can't use a type alias as a constructor
  11 help: a tuple struct with a similar name exists
  12    |
  13 LL |     check(m1::TS);
  14    |               ~~
  15 help: consider importing one of these items instead
  16    |
  17 LL | use m2::S;
  18    |
  19 LL | use xm2::S;
  20    |
  21 help: if you import `S`, refer to it directly
  22    |
  23 LL -     check(m1::S);
  24 LL +     check(S);
  25    |
  26
  27 error[E0423]: expected value, found type alias `xm1::S`
  28   --> $DIR/namespace-mix.rs:40:11
  29    |
  30 LL |     check(xm1::S);
  31    |           ^^^^^^
  32    |
  33   ::: $DIR/auxiliary/namespace-mix.rs:3:5
  34    |
  35 LL |     pub struct TS();
  36    |     ------------- similarly named tuple struct `TS` defined here
  37    |
  38    = note: can't use a type alias as a constructor
  39 help: a tuple struct with a similar name exists
  40    |
  41 LL |     check(xm1::TS);
  42    |                ~~
  43 help: consider importing one of these items instead
  44    |
  45 LL | use m2::S;
  46    |
  47 LL | use xm2::S;
  48    |
  49 help: if you import `S`, refer to it directly
  50    |
  51 LL -     check(xm1::S);
  52 LL +     check(S);
  53    |
  54
  55 error[E0423]: expected value, found type alias `m7::V`
  56   --> $DIR/namespace-mix.rs:100:11
  57    |
  58 LL |         TV(),
  59    |         ---- similarly named tuple variant `TV` defined here
  60 ...
  61 LL |     check(m7::V);
  62    |           ^^^^^
  63    |
  64    = note: can't use a type alias as a constructor
  65 help: a tuple variant with a similar name exists
  66    |
  67 LL |     check(m7::TV);
  68    |               ~~
  69 help: consider importing one of these items instead
  70    |
  71 LL | use m8::V;
  72    |
  73 LL | use xm8::V;
  74    |
  75 help: if you import `V`, refer to it directly
  76    |
  77 LL -     check(m7::V);
  78 LL +     check(V);
  79    |
  80
  81 error[E0423]: expected value, found type alias `xm7::V`
  82   --> $DIR/namespace-mix.rs:106:11
  83    |
  84 LL |     check(xm7::V);
  85    |           ^^^^^^
  86    |
  87   ::: $DIR/auxiliary/namespace-mix.rs:7:9
  88    |
  89 LL |         TV(),
  90    |         -- similarly named tuple variant `TV` defined here
  91    |
  92    = note: can't use a type alias as a constructor
  93 help: a tuple variant with a similar name exists
  94    |
  95 LL |     check(xm7::TV);
  96    |                ~~
  97 help: consider importing one of these items instead
  98    |
  99 LL | use m8::V;
 100    |
 101 LL | use xm8::V;
 102    |
 103 help: if you import `V`, refer to it directly
 104    |
 105 LL -     check(xm7::V);
 106 LL +     check(V);
 107    |
 108
 109 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 110   --> $DIR/namespace-mix.rs:33:11
 111    |
 112 LL |     check(m1::S{});
 113    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 114    |     |
 115    |     required by a bound introduced by this call
 116    |
 117 note: required by a bound in `check`
 118   --> $DIR/namespace-mix.rs:21:13
 119    |
 120 LL | fn check<T: Impossible>(_: T) {}
 121    |             ^^^^^^^^^^ required by this bound in `check`
 122
 123 error[E0277]: the trait bound `c::S: Impossible` is not satisfied
 124   --> $DIR/namespace-mix.rs:35:11
 125    |
 126 LL |     check(m2::S{});
 127    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::S`
 128    |     |
 129    |     required by a bound introduced by this call
 130    |
 131 note: required by a bound in `check`
 132   --> $DIR/namespace-mix.rs:21:13
 133    |
 134 LL | fn check<T: Impossible>(_: T) {}
 135    |             ^^^^^^^^^^ required by this bound in `check`
 136
 137 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 138   --> $DIR/namespace-mix.rs:36:11
 139    |
 140 LL |     check(m2::S);
 141    |     ----- ^^^^^ the trait `Impossible` is not implemented for `c::Item`
 142    |     |
 143    |     required by a bound introduced by this call
 144    |
 145 note: required by a bound in `check`
 146   --> $DIR/namespace-mix.rs:21:13
 147    |
 148 LL | fn check<T: Impossible>(_: T) {}
 149    |             ^^^^^^^^^^ required by this bound in `check`
 150
 151 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 152   --> $DIR/namespace-mix.rs:39:11
 153    |
 154 LL |     check(xm1::S{});
 155    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 156    |     |
 157    |     required by a bound introduced by this call
 158    |
 159 note: required by a bound in `check`
 160   --> $DIR/namespace-mix.rs:21:13
 161    |
 162 LL | fn check<T: Impossible>(_: T) {}
 163    |             ^^^^^^^^^^ required by this bound in `check`
 164
 165 error[E0277]: the trait bound `namespace_mix::c::S: Impossible` is not satisfied
 166   --> $DIR/namespace-mix.rs:41:11
 167    |
 168 LL |     check(xm2::S{});
 169    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::S`
 170    |     |
 171    |     required by a bound introduced by this call
 172    |
 173 note: required by a bound in `check`
 174   --> $DIR/namespace-mix.rs:21:13
 175    |
 176 LL | fn check<T: Impossible>(_: T) {}
 177    |             ^^^^^^^^^^ required by this bound in `check`
 178
 179 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 180   --> $DIR/namespace-mix.rs:42:11
 181    |
 182 LL |     check(xm2::S);
 183    |     ----- ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 184    |     |
 185    |     required by a bound introduced by this call
 186    |
 187 note: required by a bound in `check`
 188   --> $DIR/namespace-mix.rs:21:13
 189    |
 190 LL | fn check<T: Impossible>(_: T) {}
 191    |             ^^^^^^^^^^ required by this bound in `check`
 192
 193 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 194   --> $DIR/namespace-mix.rs:55:11
 195    |
 196 LL |     check(m3::TS{});
 197    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 198    |     |
 199    |     required by a bound introduced by this call
 200    |
 201 note: required by a bound in `check`
 202   --> $DIR/namespace-mix.rs:21:13
 203    |
 204 LL | fn check<T: Impossible>(_: T) {}
 205    |             ^^^^^^^^^^ required by this bound in `check`
 206
 207 error[E0277]: the trait bound `fn() -> c::TS {c::TS}: Impossible` is not satisfied
 208   --> $DIR/namespace-mix.rs:56:11
 209    |
 210 LL |     check(m3::TS);
 211    |     ----- ^^^^^^ the trait `Impossible` is not implemented for fn item `fn() -> c::TS {c::TS}`
 212    |     |
 213    |     required by a bound introduced by this call
 214    |
 215 note: required by a bound in `check`
 216   --> $DIR/namespace-mix.rs:21:13
 217    |
 218 LL | fn check<T: Impossible>(_: T) {}
 219    |             ^^^^^^^^^^ required by this bound in `check`
 220
 221 error[E0277]: the trait bound `c::TS: Impossible` is not satisfied
 222   --> $DIR/namespace-mix.rs:57:11
 223    |
 224 LL |     check(m4::TS{});
 225    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::TS`
 226    |     |
 227    |     required by a bound introduced by this call
 228    |
 229 note: required by a bound in `check`
 230   --> $DIR/namespace-mix.rs:21:13
 231    |
 232 LL | fn check<T: Impossible>(_: T) {}
 233    |             ^^^^^^^^^^ required by this bound in `check`
 234
 235 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 236   --> $DIR/namespace-mix.rs:58:11
 237    |
 238 LL |     check(m4::TS);
 239    |     ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 240    |     |
 241    |     required by a bound introduced by this call
 242    |
 243 note: required by a bound in `check`
 244   --> $DIR/namespace-mix.rs:21:13
 245    |
 246 LL | fn check<T: Impossible>(_: T) {}
 247    |             ^^^^^^^^^^ required by this bound in `check`
 248
 249 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 250   --> $DIR/namespace-mix.rs:61:11
 251    |
 252 LL |     check(xm3::TS{});
 253    |     ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 254    |     |
 255    |     required by a bound introduced by this call
 256    |
 257 note: required by a bound in `check`
 258   --> $DIR/namespace-mix.rs:21:13
 259    |
 260 LL | fn check<T: Impossible>(_: T) {}
 261    |             ^^^^^^^^^^ required by this bound in `check`
 262
 263 error[E0277]: the trait bound `fn() -> namespace_mix::c::TS {namespace_mix::c::TS}: Impossible` is not satisfied
 264   --> $DIR/namespace-mix.rs:62:11
 265    |
 266 LL |     check(xm3::TS);
 267    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for fn item `fn() -> namespace_mix::c::TS {namespace_mix::c::TS}`
 268    |     |
 269    |     required by a bound introduced by this call
 270    |
 271 note: required by a bound in `check`
 272   --> $DIR/namespace-mix.rs:21:13
 273    |
 274 LL | fn check<T: Impossible>(_: T) {}
 275    |             ^^^^^^^^^^ required by this bound in `check`
 276
 277 error[E0277]: the trait bound `namespace_mix::c::TS: Impossible` is not satisfied
 278   --> $DIR/namespace-mix.rs:63:11
 279    |
 280 LL |     check(xm4::TS{});
 281    |     ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::TS`
 282    |     |
 283    |     required by a bound introduced by this call
 284    |
 285 note: required by a bound in `check`
 286   --> $DIR/namespace-mix.rs:21:13
 287    |
 288 LL | fn check<T: Impossible>(_: T) {}
 289    |             ^^^^^^^^^^ required by this bound in `check`
 290
 291 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 292   --> $DIR/namespace-mix.rs:64:11
 293    |
 294 LL |     check(xm4::TS);
 295    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 296    |     |
 297    |     required by a bound introduced by this call
 298    |
 299 note: required by a bound in `check`
 300   --> $DIR/namespace-mix.rs:21:13
 301    |
 302 LL | fn check<T: Impossible>(_: T) {}
 303    |             ^^^^^^^^^^ required by this bound in `check`
 304
 305 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 306   --> $DIR/namespace-mix.rs:77:11
 307    |
 308 LL |     check(m5::US{});
 309    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 310    |     |
 311    |     required by a bound introduced by this call
 312    |
 313 note: required by a bound in `check`
 314   --> $DIR/namespace-mix.rs:21:13
 315    |
 316 LL | fn check<T: Impossible>(_: T) {}
 317    |             ^^^^^^^^^^ required by this bound in `check`
 318
 319 error[E0277]: the trait bound `c::US: Impossible` is not satisfied
 320   --> $DIR/namespace-mix.rs:78:11
 321    |
 322 LL |     check(m5::US);
 323    |     ----- ^^^^^^ the trait `Impossible` is not implemented for `c::US`
 324    |     |
 325    |     required by a bound introduced by this call
 326    |
 327 note: required by a bound in `check`
 328   --> $DIR/namespace-mix.rs:21:13
 329    |
 330 LL | fn check<T: Impossible>(_: T) {}
 331    |             ^^^^^^^^^^ required by this bound in `check`
 332
 333 error[E0277]: the trait bound `c::US: Impossible` is not satisfied
 334   --> $DIR/namespace-mix.rs:79:11
 335    |
 336 LL |     check(m6::US{});
 337    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::US`
 338    |     |
 339    |     required by a bound introduced by this call
 340    |
 341 note: required by a bound in `check`
 342   --> $DIR/namespace-mix.rs:21:13
 343    |
 344 LL | fn check<T: Impossible>(_: T) {}
 345    |             ^^^^^^^^^^ required by this bound in `check`
 346
 347 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 348   --> $DIR/namespace-mix.rs:80:11
 349    |
 350 LL |     check(m6::US);
 351    |     ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 352    |     |
 353    |     required by a bound introduced by this call
 354    |
 355 note: required by a bound in `check`
 356   --> $DIR/namespace-mix.rs:21:13
 357    |
 358 LL | fn check<T: Impossible>(_: T) {}
 359    |             ^^^^^^^^^^ required by this bound in `check`
 360
 361 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 362   --> $DIR/namespace-mix.rs:83:11
 363    |
 364 LL |     check(xm5::US{});
 365    |     ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 366    |     |
 367    |     required by a bound introduced by this call
 368    |
 369 note: required by a bound in `check`
 370   --> $DIR/namespace-mix.rs:21:13
 371    |
 372 LL | fn check<T: Impossible>(_: T) {}
 373    |             ^^^^^^^^^^ required by this bound in `check`
 374
 375 error[E0277]: the trait bound `namespace_mix::c::US: Impossible` is not satisfied
 376   --> $DIR/namespace-mix.rs:84:11
 377    |
 378 LL |     check(xm5::US);
 379    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
 380    |     |
 381    |     required by a bound introduced by this call
 382    |
 383 note: required by a bound in `check`
 384   --> $DIR/namespace-mix.rs:21:13
 385    |
 386 LL | fn check<T: Impossible>(_: T) {}
 387    |             ^^^^^^^^^^ required by this bound in `check`
 388
 389 error[E0277]: the trait bound `namespace_mix::c::US: Impossible` is not satisfied
 390   --> $DIR/namespace-mix.rs:85:11
 391    |
 392 LL |     check(xm6::US{});
 393    |     ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
 394    |     |
 395    |     required by a bound introduced by this call
 396    |
 397 note: required by a bound in `check`
 398   --> $DIR/namespace-mix.rs:21:13
 399    |
 400 LL | fn check<T: Impossible>(_: T) {}
 401    |             ^^^^^^^^^^ required by this bound in `check`
 402
 403 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 404   --> $DIR/namespace-mix.rs:86:11
 405    |
 406 LL |     check(xm6::US);
 407    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 408    |     |
 409    |     required by a bound introduced by this call
 410    |
 411 note: required by a bound in `check`
 412   --> $DIR/namespace-mix.rs:21:13
 413    |
 414 LL | fn check<T: Impossible>(_: T) {}
 415    |             ^^^^^^^^^^ required by this bound in `check`
 416
 417 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 418   --> $DIR/namespace-mix.rs:99:11
 419    |
 420 LL |     check(m7::V{});
 421    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 422    |     |
 423    |     required by a bound introduced by this call
 424    |
 425 note: required by a bound in `check`
 426   --> $DIR/namespace-mix.rs:21:13
 427    |
 428 LL | fn check<T: Impossible>(_: T) {}
 429    |             ^^^^^^^^^^ required by this bound in `check`
 430
 431 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
 432   --> $DIR/namespace-mix.rs:101:11
 433    |
 434 LL |     check(m8::V{});
 435    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::E`
 436    |     |
 437    |     required by a bound introduced by this call
 438    |
 439 note: required by a bound in `check`
 440   --> $DIR/namespace-mix.rs:21:13
 441    |
 442 LL | fn check<T: Impossible>(_: T) {}
 443    |             ^^^^^^^^^^ required by this bound in `check`
 444
 445 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 446   --> $DIR/namespace-mix.rs:102:11
 447    |
 448 LL |     check(m8::V);
 449    |     ----- ^^^^^ the trait `Impossible` is not implemented for `c::Item`
 450    |     |
 451    |     required by a bound introduced by this call
 452    |
 453 note: required by a bound in `check`
 454   --> $DIR/namespace-mix.rs:21:13
 455    |
 456 LL | fn check<T: Impossible>(_: T) {}
 457    |             ^^^^^^^^^^ required by this bound in `check`
 458
 459 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 460   --> $DIR/namespace-mix.rs:105:11
 461    |
 462 LL |     check(xm7::V{});
 463    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 464    |     |
 465    |     required by a bound introduced by this call
 466    |
 467 note: required by a bound in `check`
 468   --> $DIR/namespace-mix.rs:21:13
 469    |
 470 LL | fn check<T: Impossible>(_: T) {}
 471    |             ^^^^^^^^^^ required by this bound in `check`
 472
 473 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
 474   --> $DIR/namespace-mix.rs:107:11
 475    |
 476 LL |     check(xm8::V{});
 477    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
 478    |     |
 479    |     required by a bound introduced by this call
 480    |
 481 note: required by a bound in `check`
 482   --> $DIR/namespace-mix.rs:21:13
 483    |
 484 LL | fn check<T: Impossible>(_: T) {}
 485    |             ^^^^^^^^^^ required by this bound in `check`
 486
 487 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 488   --> $DIR/namespace-mix.rs:108:11
 489    |
 490 LL |     check(xm8::V);
 491    |     ----- ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 492    |     |
 493    |     required by a bound introduced by this call
 494    |
 495 note: required by a bound in `check`
 496   --> $DIR/namespace-mix.rs:21:13
 497    |
 498 LL | fn check<T: Impossible>(_: T) {}
 499    |             ^^^^^^^^^^ required by this bound in `check`
 500
 501 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 502   --> $DIR/namespace-mix.rs:121:11
 503    |
 504 LL |     check(m9::TV{});
 505    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 506    |     |
 507    |     required by a bound introduced by this call
 508    |
 509 note: required by a bound in `check`
 510   --> $DIR/namespace-mix.rs:21:13
 511    |
 512 LL | fn check<T: Impossible>(_: T) {}
 513    |             ^^^^^^^^^^ required by this bound in `check`
 514
 515 error[E0277]: the trait bound `fn() -> c::E {c::E::TV}: Impossible` is not satisfied
 516   --> $DIR/namespace-mix.rs:122:11
 517    |
 518 LL |     check(m9::TV);
 519    |     ----- ^^^^^^ the trait `Impossible` is not implemented for fn item `fn() -> c::E {c::E::TV}`
 520    |     |
 521    |     required by a bound introduced by this call
 522    |
 523 note: required by a bound in `check`
 524   --> $DIR/namespace-mix.rs:21:13
 525    |
 526 LL | fn check<T: Impossible>(_: T) {}
 527    |             ^^^^^^^^^^ required by this bound in `check`
 528
 529 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
 530   --> $DIR/namespace-mix.rs:123:11
 531    |
 532 LL |     check(mA::TV{});
 533    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
 534    |     |
 535    |     required by a bound introduced by this call
 536    |
 537 note: required by a bound in `check`
 538   --> $DIR/namespace-mix.rs:21:13
 539    |
 540 LL | fn check<T: Impossible>(_: T) {}
 541    |             ^^^^^^^^^^ required by this bound in `check`
 542
 543 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 544   --> $DIR/namespace-mix.rs:124:11
 545    |
 546 LL |     check(mA::TV);
 547    |     ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 548    |     |
 549    |     required by a bound introduced by this call
 550    |
 551 note: required by a bound in `check`
 552   --> $DIR/namespace-mix.rs:21:13
 553    |
 554 LL | fn check<T: Impossible>(_: T) {}
 555    |             ^^^^^^^^^^ required by this bound in `check`
 556
 557 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 558   --> $DIR/namespace-mix.rs:127:11
 559    |
 560 LL |     check(xm9::TV{});
 561    |     ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 562    |     |
 563    |     required by a bound introduced by this call
 564    |
 565 note: required by a bound in `check`
 566   --> $DIR/namespace-mix.rs:21:13
 567    |
 568 LL | fn check<T: Impossible>(_: T) {}
 569    |             ^^^^^^^^^^ required by this bound in `check`
 570
 571 error[E0277]: the trait bound `fn() -> namespace_mix::c::E {namespace_mix::xm7::TV}: Impossible` is not satisfied
 572   --> $DIR/namespace-mix.rs:128:11
 573    |
 574 LL |     check(xm9::TV);
 575    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for fn item `fn() -> namespace_mix::c::E {namespace_mix::xm7::TV}`
 576    |     |
 577    |     required by a bound introduced by this call
 578    |
 579 note: required by a bound in `check`
 580   --> $DIR/namespace-mix.rs:21:13
 581    |
 582 LL | fn check<T: Impossible>(_: T) {}
 583    |             ^^^^^^^^^^ required by this bound in `check`
 584
 585 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
 586   --> $DIR/namespace-mix.rs:129:11
 587    |
 588 LL |     check(xmA::TV{});
 589    |     ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
 590    |     |
 591    |     required by a bound introduced by this call
 592    |
 593 note: required by a bound in `check`
 594   --> $DIR/namespace-mix.rs:21:13
 595    |
 596 LL | fn check<T: Impossible>(_: T) {}
 597    |             ^^^^^^^^^^ required by this bound in `check`
 598
 599 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 600   --> $DIR/namespace-mix.rs:130:11
 601    |
 602 LL |     check(xmA::TV);
 603    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 604    |     |
 605    |     required by a bound introduced by this call
 606    |
 607 note: required by a bound in `check`
 608   --> $DIR/namespace-mix.rs:21:13
 609    |
 610 LL | fn check<T: Impossible>(_: T) {}
 611    |             ^^^^^^^^^^ required by this bound in `check`
 612
 613 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 614   --> $DIR/namespace-mix.rs:143:11
 615    |
 616 LL |     check(mB::UV{});
 617    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 618    |     |
 619    |     required by a bound introduced by this call
 620    |
 621 note: required by a bound in `check`
 622   --> $DIR/namespace-mix.rs:21:13
 623    |
 624 LL | fn check<T: Impossible>(_: T) {}
 625    |             ^^^^^^^^^^ required by this bound in `check`
 626
 627 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
 628   --> $DIR/namespace-mix.rs:144:11
 629    |
 630 LL |     check(mB::UV);
 631    |     ----- ^^^^^^ the trait `Impossible` is not implemented for `c::E`
 632    |     |
 633    |     required by a bound introduced by this call
 634    |
 635 note: required by a bound in `check`
 636   --> $DIR/namespace-mix.rs:21:13
 637    |
 638 LL | fn check<T: Impossible>(_: T) {}
 639    |             ^^^^^^^^^^ required by this bound in `check`
 640
 641 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
 642   --> $DIR/namespace-mix.rs:145:11
 643    |
 644 LL |     check(mC::UV{});
 645    |     ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
 646    |     |
 647    |     required by a bound introduced by this call
 648    |
 649 note: required by a bound in `check`
 650   --> $DIR/namespace-mix.rs:21:13
 651    |
 652 LL | fn check<T: Impossible>(_: T) {}
 653    |             ^^^^^^^^^^ required by this bound in `check`
 654
 655 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 656   --> $DIR/namespace-mix.rs:146:11
 657    |
 658 LL |     check(mC::UV);
 659    |     ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 660    |     |
 661    |     required by a bound introduced by this call
 662    |
 663 note: required by a bound in `check`
 664   --> $DIR/namespace-mix.rs:21:13
 665    |
 666 LL | fn check<T: Impossible>(_: T) {}
 667    |             ^^^^^^^^^^ required by this bound in `check`
 668
 669 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 670   --> $DIR/namespace-mix.rs:149:11
 671    |
 672 LL |     check(xmB::UV{});
 673    |     ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 674    |     |
 675    |     required by a bound introduced by this call
 676    |
 677 note: required by a bound in `check`
 678   --> $DIR/namespace-mix.rs:21:13
 679    |
 680 LL | fn check<T: Impossible>(_: T) {}
 681    |             ^^^^^^^^^^ required by this bound in `check`
 682
 683 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
 684   --> $DIR/namespace-mix.rs:150:11
 685    |
 686 LL |     check(xmB::UV);
 687    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
 688    |     |
 689    |     required by a bound introduced by this call
 690    |
 691 note: required by a bound in `check`
 692   --> $DIR/namespace-mix.rs:21:13
 693    |
 694 LL | fn check<T: Impossible>(_: T) {}
 695    |             ^^^^^^^^^^ required by this bound in `check`
 696
 697 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
 698   --> $DIR/namespace-mix.rs:151:11
 699    |
 700 LL |     check(xmC::UV{});
 701    |     ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
 702    |     |
 703    |     required by a bound introduced by this call
 704    |
 705 note: required by a bound in `check`
 706   --> $DIR/namespace-mix.rs:21:13
 707    |
 708 LL | fn check<T: Impossible>(_: T) {}
 709    |             ^^^^^^^^^^ required by this bound in `check`
 710
 711 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 712   --> $DIR/namespace-mix.rs:152:11
 713    |
 714 LL |     check(xmC::UV);
 715    |     ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 716    |     |
 717    |     required by a bound introduced by this call
 718    |
 719 note: required by a bound in `check`
 720   --> $DIR/namespace-mix.rs:21:13
 721    |
 722 LL | fn check<T: Impossible>(_: T) {}
 723    |             ^^^^^^^^^^ required by this bound in `check`
 724
 725 error: aborting due to 48 previous errors
 726
 727 Some errors have detailed explanations: E0277, E0423.
 728 For more information about an error, try `rustc --explain E0277`.