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