1 error[E0423]: expected value, found type alias `m1::S`
2 --> $DIR/namespace-mix.rs:34:11
5 | ---------------- similarly named tuple struct `TS` defined here
10 = note: can't use a type alias as a constructor
11 help: a tuple struct with a similar name exists
15 help: consider importing one of these items instead
21 help: if you import `S`, refer to it directly
27 error[E0423]: expected value, found type alias `xm1::S`
28 --> $DIR/namespace-mix.rs:40:11
33 ::: $DIR/auxiliary/namespace-mix.rs:3:5
36 | ------------- similarly named tuple struct `TS` defined here
38 = note: can't use a type alias as a constructor
39 help: a tuple struct with a similar name exists
43 help: consider importing one of these items instead
49 help: if you import `S`, refer to it directly
55 error[E0423]: expected value, found struct variant `m7::V`
56 --> $DIR/namespace-mix.rs:100:11
59 | ---- `m7::V` defined here
61 | ---- similarly named tuple variant `TV` defined here
66 help: use struct literal syntax instead
70 help: a tuple variant with a similar name exists
74 help: consider importing one of these items instead
80 help: if you import `V`, refer to it directly
86 error[E0423]: expected value, found struct variant `xm7::V`
87 --> $DIR/namespace-mix.rs:106:11
92 ::: $DIR/auxiliary/namespace-mix.rs:6:9
95 | - `xm7::V` defined here
97 | -- similarly named tuple variant `TV` defined here
99 help: use struct literal syntax instead
101 LL | check(xm7::V { /* fields */ });
102 | ~~~~~~~~~~~~~~~~~~~~~~~
103 help: a tuple variant with a similar name exists
107 help: consider importing one of these items instead
113 help: if you import `V`, refer to it directly
119 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
120 --> $DIR/namespace-mix.rs:33:11
123 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
125 | required by a bound introduced by this call
127 note: required by a bound in `check`
128 --> $DIR/namespace-mix.rs:21:13
130 LL | fn check<T: Impossible>(_: T) {}
131 | ^^^^^^^^^^ required by this bound in `check`
133 error[E0277]: the trait bound `c::S: Impossible` is not satisfied
134 --> $DIR/namespace-mix.rs:35:11
137 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::S`
139 | required by a bound introduced by this call
141 note: required by a bound in `check`
142 --> $DIR/namespace-mix.rs:21:13
144 LL | fn check<T: Impossible>(_: T) {}
145 | ^^^^^^^^^^ required by this bound in `check`
147 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
148 --> $DIR/namespace-mix.rs:36:11
151 | ----- ^^^^^ the trait `Impossible` is not implemented for `c::Item`
153 | required by a bound introduced by this call
155 note: required by a bound in `check`
156 --> $DIR/namespace-mix.rs:21:13
158 LL | fn check<T: Impossible>(_: T) {}
159 | ^^^^^^^^^^ required by this bound in `check`
161 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
162 --> $DIR/namespace-mix.rs:39:11
164 LL | check(xm1::S{});
165 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
167 | required by a bound introduced by this call
169 note: required by a bound in `check`
170 --> $DIR/namespace-mix.rs:21:13
172 LL | fn check<T: Impossible>(_: T) {}
173 | ^^^^^^^^^^ required by this bound in `check`
175 error[E0277]: the trait bound `namespace_mix::c::S: Impossible` is not satisfied
176 --> $DIR/namespace-mix.rs:41:11
178 LL | check(xm2::S{});
179 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::S`
181 | required by a bound introduced by this call
183 note: required by a bound in `check`
184 --> $DIR/namespace-mix.rs:21:13
186 LL | fn check<T: Impossible>(_: T) {}
187 | ^^^^^^^^^^ required by this bound in `check`
189 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
190 --> $DIR/namespace-mix.rs:42:11
193 | ----- ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
195 | required by a bound introduced by this call
197 note: required by a bound in `check`
198 --> $DIR/namespace-mix.rs:21:13
200 LL | fn check<T: Impossible>(_: T) {}
201 | ^^^^^^^^^^ required by this bound in `check`
203 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
204 --> $DIR/namespace-mix.rs:55:11
206 LL | check(m3::TS{});
207 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
209 | required by a bound introduced by this call
211 note: required by a bound in `check`
212 --> $DIR/namespace-mix.rs:21:13
214 LL | fn check<T: Impossible>(_: T) {}
215 | ^^^^^^^^^^ required by this bound in `check`
217 error[E0277]: the trait bound `fn() -> c::TS {c::TS}: Impossible` is not satisfied
218 --> $DIR/namespace-mix.rs:56:11
221 | ----- ^^^^^^ the trait `Impossible` is not implemented for `fn() -> c::TS {c::TS}`
223 | required by a bound introduced by this call
225 note: required by a bound in `check`
226 --> $DIR/namespace-mix.rs:21:13
228 LL | fn check<T: Impossible>(_: T) {}
229 | ^^^^^^^^^^ required by this bound in `check`
231 error[E0277]: the trait bound `c::TS: Impossible` is not satisfied
232 --> $DIR/namespace-mix.rs:57:11
234 LL | check(m4::TS{});
235 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::TS`
237 | required by a bound introduced by this call
239 note: required by a bound in `check`
240 --> $DIR/namespace-mix.rs:21:13
242 LL | fn check<T: Impossible>(_: T) {}
243 | ^^^^^^^^^^ required by this bound in `check`
245 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
246 --> $DIR/namespace-mix.rs:58:11
249 | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
251 | required by a bound introduced by this call
253 note: required by a bound in `check`
254 --> $DIR/namespace-mix.rs:21:13
256 LL | fn check<T: Impossible>(_: T) {}
257 | ^^^^^^^^^^ required by this bound in `check`
259 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
260 --> $DIR/namespace-mix.rs:61:11
262 LL | check(xm3::TS{});
263 | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
265 | required by a bound introduced by this call
267 note: required by a bound in `check`
268 --> $DIR/namespace-mix.rs:21:13
270 LL | fn check<T: Impossible>(_: T) {}
271 | ^^^^^^^^^^ required by this bound in `check`
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
277 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `fn() -> namespace_mix::c::TS {namespace_mix::c::TS}`
279 | required by a bound introduced by this call
281 note: required by a bound in `check`
282 --> $DIR/namespace-mix.rs:21:13
284 LL | fn check<T: Impossible>(_: T) {}
285 | ^^^^^^^^^^ required by this bound in `check`
287 error[E0277]: the trait bound `namespace_mix::c::TS: Impossible` is not satisfied
288 --> $DIR/namespace-mix.rs:63:11
290 LL | check(xm4::TS{});
291 | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::TS`
293 | required by a bound introduced by this call
295 note: required by a bound in `check`
296 --> $DIR/namespace-mix.rs:21:13
298 LL | fn check<T: Impossible>(_: T) {}
299 | ^^^^^^^^^^ required by this bound in `check`
301 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
302 --> $DIR/namespace-mix.rs:64:11
305 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
307 | required by a bound introduced by this call
309 note: required by a bound in `check`
310 --> $DIR/namespace-mix.rs:21:13
312 LL | fn check<T: Impossible>(_: T) {}
313 | ^^^^^^^^^^ required by this bound in `check`
315 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
316 --> $DIR/namespace-mix.rs:77:11
318 LL | check(m5::US{});
319 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
321 | required by a bound introduced by this call
323 note: required by a bound in `check`
324 --> $DIR/namespace-mix.rs:21:13
326 LL | fn check<T: Impossible>(_: T) {}
327 | ^^^^^^^^^^ required by this bound in `check`
329 error[E0277]: the trait bound `c::US: Impossible` is not satisfied
330 --> $DIR/namespace-mix.rs:78:11
333 | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::US`
335 | required by a bound introduced by this call
337 note: required by a bound in `check`
338 --> $DIR/namespace-mix.rs:21:13
340 LL | fn check<T: Impossible>(_: T) {}
341 | ^^^^^^^^^^ required by this bound in `check`
343 error[E0277]: the trait bound `c::US: Impossible` is not satisfied
344 --> $DIR/namespace-mix.rs:79:11
346 LL | check(m6::US{});
347 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::US`
349 | required by a bound introduced by this call
351 note: required by a bound in `check`
352 --> $DIR/namespace-mix.rs:21:13
354 LL | fn check<T: Impossible>(_: T) {}
355 | ^^^^^^^^^^ required by this bound in `check`
357 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
358 --> $DIR/namespace-mix.rs:80:11
361 | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
363 | required by a bound introduced by this call
365 note: required by a bound in `check`
366 --> $DIR/namespace-mix.rs:21:13
368 LL | fn check<T: Impossible>(_: T) {}
369 | ^^^^^^^^^^ required by this bound in `check`
371 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
372 --> $DIR/namespace-mix.rs:83:11
374 LL | check(xm5::US{});
375 | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
377 | required by a bound introduced by this call
379 note: required by a bound in `check`
380 --> $DIR/namespace-mix.rs:21:13
382 LL | fn check<T: Impossible>(_: T) {}
383 | ^^^^^^^^^^ required by this bound in `check`
385 error[E0277]: the trait bound `namespace_mix::c::US: Impossible` is not satisfied
386 --> $DIR/namespace-mix.rs:84:11
389 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
391 | required by a bound introduced by this call
393 note: required by a bound in `check`
394 --> $DIR/namespace-mix.rs:21:13
396 LL | fn check<T: Impossible>(_: T) {}
397 | ^^^^^^^^^^ required by this bound in `check`
399 error[E0277]: the trait bound `namespace_mix::c::US: Impossible` is not satisfied
400 --> $DIR/namespace-mix.rs:85:11
402 LL | check(xm6::US{});
403 | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
405 | required by a bound introduced by this call
407 note: required by a bound in `check`
408 --> $DIR/namespace-mix.rs:21:13
410 LL | fn check<T: Impossible>(_: T) {}
411 | ^^^^^^^^^^ required by this bound in `check`
413 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
414 --> $DIR/namespace-mix.rs:86:11
417 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
419 | required by a bound introduced by this call
421 note: required by a bound in `check`
422 --> $DIR/namespace-mix.rs:21:13
424 LL | fn check<T: Impossible>(_: T) {}
425 | ^^^^^^^^^^ required by this bound in `check`
427 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
428 --> $DIR/namespace-mix.rs:99:11
431 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
433 | required by a bound introduced by this call
435 note: required by a bound in `check`
436 --> $DIR/namespace-mix.rs:21:13
438 LL | fn check<T: Impossible>(_: T) {}
439 | ^^^^^^^^^^ required by this bound in `check`
441 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
442 --> $DIR/namespace-mix.rs:101:11
445 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `c::E`
447 | required by a bound introduced by this call
449 note: required by a bound in `check`
450 --> $DIR/namespace-mix.rs:21:13
452 LL | fn check<T: Impossible>(_: T) {}
453 | ^^^^^^^^^^ required by this bound in `check`
455 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
456 --> $DIR/namespace-mix.rs:102:11
459 | ----- ^^^^^ the trait `Impossible` is not implemented for `c::Item`
461 | required by a bound introduced by this call
463 note: required by a bound in `check`
464 --> $DIR/namespace-mix.rs:21:13
466 LL | fn check<T: Impossible>(_: T) {}
467 | ^^^^^^^^^^ required by this bound in `check`
469 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
470 --> $DIR/namespace-mix.rs:105:11
472 LL | check(xm7::V{});
473 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
475 | required by a bound introduced by this call
477 note: required by a bound in `check`
478 --> $DIR/namespace-mix.rs:21:13
480 LL | fn check<T: Impossible>(_: T) {}
481 | ^^^^^^^^^^ required by this bound in `check`
483 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
484 --> $DIR/namespace-mix.rs:107:11
486 LL | check(xm8::V{});
487 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
489 | required by a bound introduced by this call
491 note: required by a bound in `check`
492 --> $DIR/namespace-mix.rs:21:13
494 LL | fn check<T: Impossible>(_: T) {}
495 | ^^^^^^^^^^ required by this bound in `check`
497 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
498 --> $DIR/namespace-mix.rs:108:11
501 | ----- ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
503 | required by a bound introduced by this call
505 note: required by a bound in `check`
506 --> $DIR/namespace-mix.rs:21:13
508 LL | fn check<T: Impossible>(_: T) {}
509 | ^^^^^^^^^^ required by this bound in `check`
511 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
512 --> $DIR/namespace-mix.rs:121:11
514 LL | check(m9::TV{});
515 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
517 | required by a bound introduced by this call
519 note: required by a bound in `check`
520 --> $DIR/namespace-mix.rs:21:13
522 LL | fn check<T: Impossible>(_: T) {}
523 | ^^^^^^^^^^ required by this bound in `check`
525 error[E0277]: the trait bound `fn() -> c::E {c::E::TV}: Impossible` is not satisfied
526 --> $DIR/namespace-mix.rs:122:11
529 | ----- ^^^^^^ the trait `Impossible` is not implemented for `fn() -> c::E {c::E::TV}`
531 | required by a bound introduced by this call
533 note: required by a bound in `check`
534 --> $DIR/namespace-mix.rs:21:13
536 LL | fn check<T: Impossible>(_: T) {}
537 | ^^^^^^^^^^ required by this bound in `check`
539 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
540 --> $DIR/namespace-mix.rs:123:11
542 LL | check(mA::TV{});
543 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
545 | required by a bound introduced by this call
547 note: required by a bound in `check`
548 --> $DIR/namespace-mix.rs:21:13
550 LL | fn check<T: Impossible>(_: T) {}
551 | ^^^^^^^^^^ required by this bound in `check`
553 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
554 --> $DIR/namespace-mix.rs:124:11
557 | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
559 | required by a bound introduced by this call
561 note: required by a bound in `check`
562 --> $DIR/namespace-mix.rs:21:13
564 LL | fn check<T: Impossible>(_: T) {}
565 | ^^^^^^^^^^ required by this bound in `check`
567 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
568 --> $DIR/namespace-mix.rs:127:11
570 LL | check(xm9::TV{});
571 | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
573 | required by a bound introduced by this call
575 note: required by a bound in `check`
576 --> $DIR/namespace-mix.rs:21:13
578 LL | fn check<T: Impossible>(_: T) {}
579 | ^^^^^^^^^^ required by this bound in `check`
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
585 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `fn() -> namespace_mix::c::E {namespace_mix::xm7::TV}`
587 | required by a bound introduced by this call
589 note: required by a bound in `check`
590 --> $DIR/namespace-mix.rs:21:13
592 LL | fn check<T: Impossible>(_: T) {}
593 | ^^^^^^^^^^ required by this bound in `check`
595 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
596 --> $DIR/namespace-mix.rs:129:11
598 LL | check(xmA::TV{});
599 | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
601 | required by a bound introduced by this call
603 note: required by a bound in `check`
604 --> $DIR/namespace-mix.rs:21:13
606 LL | fn check<T: Impossible>(_: T) {}
607 | ^^^^^^^^^^ required by this bound in `check`
609 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
610 --> $DIR/namespace-mix.rs:130:11
613 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
615 | required by a bound introduced by this call
617 note: required by a bound in `check`
618 --> $DIR/namespace-mix.rs:21:13
620 LL | fn check<T: Impossible>(_: T) {}
621 | ^^^^^^^^^^ required by this bound in `check`
623 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
624 --> $DIR/namespace-mix.rs:143:11
626 LL | check(mB::UV{});
627 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
629 | required by a bound introduced by this call
631 note: required by a bound in `check`
632 --> $DIR/namespace-mix.rs:21:13
634 LL | fn check<T: Impossible>(_: T) {}
635 | ^^^^^^^^^^ required by this bound in `check`
637 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
638 --> $DIR/namespace-mix.rs:144:11
641 | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::E`
643 | required by a bound introduced by this call
645 note: required by a bound in `check`
646 --> $DIR/namespace-mix.rs:21:13
648 LL | fn check<T: Impossible>(_: T) {}
649 | ^^^^^^^^^^ required by this bound in `check`
651 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
652 --> $DIR/namespace-mix.rs:145:11
654 LL | check(mC::UV{});
655 | ----- ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
657 | required by a bound introduced by this call
659 note: required by a bound in `check`
660 --> $DIR/namespace-mix.rs:21:13
662 LL | fn check<T: Impossible>(_: T) {}
663 | ^^^^^^^^^^ required by this bound in `check`
665 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
666 --> $DIR/namespace-mix.rs:146:11
669 | ----- ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
671 | required by a bound introduced by this call
673 note: required by a bound in `check`
674 --> $DIR/namespace-mix.rs:21:13
676 LL | fn check<T: Impossible>(_: T) {}
677 | ^^^^^^^^^^ required by this bound in `check`
679 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
680 --> $DIR/namespace-mix.rs:149:11
682 LL | check(xmB::UV{});
683 | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
685 | required by a bound introduced by this call
687 note: required by a bound in `check`
688 --> $DIR/namespace-mix.rs:21:13
690 LL | fn check<T: Impossible>(_: T) {}
691 | ^^^^^^^^^^ required by this bound in `check`
693 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
694 --> $DIR/namespace-mix.rs:150:11
697 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
699 | required by a bound introduced by this call
701 note: required by a bound in `check`
702 --> $DIR/namespace-mix.rs:21:13
704 LL | fn check<T: Impossible>(_: T) {}
705 | ^^^^^^^^^^ required by this bound in `check`
707 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
708 --> $DIR/namespace-mix.rs:151:11
710 LL | check(xmC::UV{});
711 | ----- ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
713 | required by a bound introduced by this call
715 note: required by a bound in `check`
716 --> $DIR/namespace-mix.rs:21:13
718 LL | fn check<T: Impossible>(_: T) {}
719 | ^^^^^^^^^^ required by this bound in `check`
721 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
722 --> $DIR/namespace-mix.rs:152:11
725 | ----- ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
727 | required by a bound introduced by this call
729 note: required by a bound in `check`
730 --> $DIR/namespace-mix.rs:21:13
732 LL | fn check<T: Impossible>(_: T) {}
733 | ^^^^^^^^^^ required by this bound in `check`
735 error: aborting due to 48 previous errors
737 Some errors have detailed explanations: E0277, E0423.
738 For more information about an error, try `rustc --explain E0277`.