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