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
  22 error[E0423]: expected value, found type alias `xm1::S`
  23   --> $DIR/namespace-mix.rs:40:11
  24    |
  25 LL |     check(xm1::S);
  26    |           ^^^^^^
  27    |
  28   ::: $DIR/auxiliary/namespace-mix.rs:3:5
  29    |
  30 LL |     pub struct TS();
  31    |     ---------------- similarly named tuple struct `TS` defined here
  32    |
  33    = note: can't use a type alias as a constructor
  34 help: a tuple struct with a similar name exists
  35    |
  36 LL |     check(xm1::TS);
  37    |                ^^
  38 help: consider importing one of these items instead
  39    |
  40 LL | use m2::S;
  41    |
  42 LL | use xm2::S;
  43    |
  44
  45 error[E0423]: expected value, found struct variant `m7::V`
  46   --> $DIR/namespace-mix.rs:100:11
  47    |
  48 LL |         V {},
  49    |         ---- `m7::V` defined here
  50 LL |         TV(),
  51    |         ---- similarly named tuple variant `TV` defined here
  52 ...
  53 LL |     check(m7::V);
  54    |           ^^^^^ did you mean `m7::V { /* fields */ }`?
  55    |
  56 help: a tuple variant with a similar name exists
  57    |
  58 LL |     check(m7::TV);
  59    |               ^^
  60 help: consider importing one of these items instead
  61    |
  62 LL | use m8::V;
  63    |
  64 LL | use xm8::V;
  65    |
  66
  67 error[E0423]: expected value, found struct variant `xm7::V`
  68   --> $DIR/namespace-mix.rs:106:11
  69    |
  70 LL |     check(xm7::V);
  71    |           ^^^^^^ did you mean `xm7::V { /* fields */ }`?
  72    |
  73   ::: $DIR/auxiliary/namespace-mix.rs:7:9
  74    |
  75 LL |         TV(),
  76    |         ---- similarly named tuple variant `TV` defined here
  77    |
  78 help: a tuple variant with a similar name exists
  79    |
  80 LL |     check(xm7::TV);
  81    |                ^^
  82 help: consider importing one of these items instead
  83    |
  84 LL | use m8::V;
  85    |
  86 LL | use xm8::V;
  87    |
  88
  89 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
  90   --> $DIR/namespace-mix.rs:33:11
  91    |
  92 LL | fn check<T: Impossible>(_: T) {}
  93    |             ---------- required by this bound in `check`
  94 ...
  95 LL |     check(m1::S{});
  96    |           ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
  97
  98 error[E0277]: the trait bound `c::S: Impossible` is not satisfied
  99   --> $DIR/namespace-mix.rs:35:11
 100    |
 101 LL | fn check<T: Impossible>(_: T) {}
 102    |             ---------- required by this bound in `check`
 103 ...
 104 LL |     check(m2::S{});
 105    |           ^^^^^^^ the trait `Impossible` is not implemented for `c::S`
 106
 107 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 108   --> $DIR/namespace-mix.rs:36:11
 109    |
 110 LL | fn check<T: Impossible>(_: T) {}
 111    |             ---------- required by this bound in `check`
 112 ...
 113 LL |     check(m2::S);
 114    |           ^^^^^ the trait `Impossible` is not implemented for `c::Item`
 115
 116 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 117   --> $DIR/namespace-mix.rs:39:11
 118    |
 119 LL | fn check<T: Impossible>(_: T) {}
 120    |             ---------- required by this bound in `check`
 121 ...
 122 LL |     check(xm1::S{});
 123    |           ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 124
 125 error[E0277]: the trait bound `namespace_mix::c::S: Impossible` is not satisfied
 126   --> $DIR/namespace-mix.rs:41:11
 127    |
 128 LL | fn check<T: Impossible>(_: T) {}
 129    |             ---------- required by this bound in `check`
 130 ...
 131 LL |     check(xm2::S{});
 132    |           ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::S`
 133
 134 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 135   --> $DIR/namespace-mix.rs:42:11
 136    |
 137 LL | fn check<T: Impossible>(_: T) {}
 138    |             ---------- required by this bound in `check`
 139 ...
 140 LL |     check(xm2::S);
 141    |           ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 142
 143 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 144   --> $DIR/namespace-mix.rs:55:11
 145    |
 146 LL | fn check<T: Impossible>(_: T) {}
 147    |             ---------- required by this bound in `check`
 148 ...
 149 LL |     check(m3::TS{});
 150    |           ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 151
 152 error[E0277]: the trait bound `fn() -> c::TS {c::TS}: Impossible` is not satisfied
 153   --> $DIR/namespace-mix.rs:56:11
 154    |
 155 LL | fn check<T: Impossible>(_: T) {}
 156    |             ---------- required by this bound in `check`
 157 ...
 158 LL |     check(m3::TS);
 159    |           ^^^^^^ the trait `Impossible` is not implemented for `fn() -> c::TS {c::TS}`
 160
 161 error[E0277]: the trait bound `c::TS: Impossible` is not satisfied
 162   --> $DIR/namespace-mix.rs:57:11
 163    |
 164 LL | fn check<T: Impossible>(_: T) {}
 165    |             ---------- required by this bound in `check`
 166 ...
 167 LL |     check(m4::TS{});
 168    |           ^^^^^^^^ the trait `Impossible` is not implemented for `c::TS`
 169
 170 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 171   --> $DIR/namespace-mix.rs:58:11
 172    |
 173 LL | fn check<T: Impossible>(_: T) {}
 174    |             ---------- required by this bound in `check`
 175 ...
 176 LL |     check(m4::TS);
 177    |           ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 178
 179 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 180   --> $DIR/namespace-mix.rs:61:11
 181    |
 182 LL | fn check<T: Impossible>(_: T) {}
 183    |             ---------- required by this bound in `check`
 184 ...
 185 LL |     check(xm3::TS{});
 186    |           ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 187
 188 error[E0277]: the trait bound `fn() -> namespace_mix::c::TS {namespace_mix::c::TS}: Impossible` is not satisfied
 189   --> $DIR/namespace-mix.rs:62:11
 190    |
 191 LL | fn check<T: Impossible>(_: T) {}
 192    |             ---------- required by this bound in `check`
 193 ...
 194 LL |     check(xm3::TS);
 195    |           ^^^^^^^ the trait `Impossible` is not implemented for `fn() -> namespace_mix::c::TS {namespace_mix::c::TS}`
 196
 197 error[E0277]: the trait bound `namespace_mix::c::TS: Impossible` is not satisfied
 198   --> $DIR/namespace-mix.rs:63:11
 199    |
 200 LL | fn check<T: Impossible>(_: T) {}
 201    |             ---------- required by this bound in `check`
 202 ...
 203 LL |     check(xm4::TS{});
 204    |           ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::TS`
 205
 206 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 207   --> $DIR/namespace-mix.rs:64:11
 208    |
 209 LL | fn check<T: Impossible>(_: T) {}
 210    |             ---------- required by this bound in `check`
 211 ...
 212 LL |     check(xm4::TS);
 213    |           ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 214
 215 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 216   --> $DIR/namespace-mix.rs:77:11
 217    |
 218 LL | fn check<T: Impossible>(_: T) {}
 219    |             ---------- required by this bound in `check`
 220 ...
 221 LL |     check(m5::US{});
 222    |           ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 223
 224 error[E0277]: the trait bound `c::US: Impossible` is not satisfied
 225   --> $DIR/namespace-mix.rs:78:11
 226    |
 227 LL | fn check<T: Impossible>(_: T) {}
 228    |             ---------- required by this bound in `check`
 229 ...
 230 LL |     check(m5::US);
 231    |           ^^^^^^ the trait `Impossible` is not implemented for `c::US`
 232
 233 error[E0277]: the trait bound `c::US: Impossible` is not satisfied
 234   --> $DIR/namespace-mix.rs:79:11
 235    |
 236 LL | fn check<T: Impossible>(_: T) {}
 237    |             ---------- required by this bound in `check`
 238 ...
 239 LL |     check(m6::US{});
 240    |           ^^^^^^^^ the trait `Impossible` is not implemented for `c::US`
 241
 242 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 243   --> $DIR/namespace-mix.rs:80:11
 244    |
 245 LL | fn check<T: Impossible>(_: T) {}
 246    |             ---------- required by this bound in `check`
 247 ...
 248 LL |     check(m6::US);
 249    |           ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 250
 251 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 252   --> $DIR/namespace-mix.rs:83:11
 253    |
 254 LL | fn check<T: Impossible>(_: T) {}
 255    |             ---------- required by this bound in `check`
 256 ...
 257 LL |     check(xm5::US{});
 258    |           ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 259
 260 error[E0277]: the trait bound `namespace_mix::c::US: Impossible` is not satisfied
 261   --> $DIR/namespace-mix.rs:84:11
 262    |
 263 LL | fn check<T: Impossible>(_: T) {}
 264    |             ---------- required by this bound in `check`
 265 ...
 266 LL |     check(xm5::US);
 267    |           ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
 268
 269 error[E0277]: the trait bound `namespace_mix::c::US: Impossible` is not satisfied
 270   --> $DIR/namespace-mix.rs:85:11
 271    |
 272 LL | fn check<T: Impossible>(_: T) {}
 273    |             ---------- required by this bound in `check`
 274 ...
 275 LL |     check(xm6::US{});
 276    |           ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::US`
 277
 278 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 279   --> $DIR/namespace-mix.rs:86:11
 280    |
 281 LL | fn check<T: Impossible>(_: T) {}
 282    |             ---------- required by this bound in `check`
 283 ...
 284 LL |     check(xm6::US);
 285    |           ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 286
 287 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 288   --> $DIR/namespace-mix.rs:99:11
 289    |
 290 LL | fn check<T: Impossible>(_: T) {}
 291    |             ---------- required by this bound in `check`
 292 ...
 293 LL |     check(m7::V{});
 294    |           ^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 295
 296 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
 297   --> $DIR/namespace-mix.rs:101:11
 298    |
 299 LL | fn check<T: Impossible>(_: T) {}
 300    |             ---------- required by this bound in `check`
 301 ...
 302 LL |     check(m8::V{});
 303    |           ^^^^^^^ the trait `Impossible` is not implemented for `c::E`
 304
 305 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 306   --> $DIR/namespace-mix.rs:102:11
 307    |
 308 LL | fn check<T: Impossible>(_: T) {}
 309    |             ---------- required by this bound in `check`
 310 ...
 311 LL |     check(m8::V);
 312    |           ^^^^^ the trait `Impossible` is not implemented for `c::Item`
 313
 314 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 315   --> $DIR/namespace-mix.rs:105:11
 316    |
 317 LL | fn check<T: Impossible>(_: T) {}
 318    |             ---------- required by this bound in `check`
 319 ...
 320 LL |     check(xm7::V{});
 321    |           ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 322
 323 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
 324   --> $DIR/namespace-mix.rs:107:11
 325    |
 326 LL | fn check<T: Impossible>(_: T) {}
 327    |             ---------- required by this bound in `check`
 328 ...
 329 LL |     check(xm8::V{});
 330    |           ^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
 331
 332 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 333   --> $DIR/namespace-mix.rs:108:11
 334    |
 335 LL | fn check<T: Impossible>(_: T) {}
 336    |             ---------- required by this bound in `check`
 337 ...
 338 LL |     check(xm8::V);
 339    |           ^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 340
 341 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 342   --> $DIR/namespace-mix.rs:121:11
 343    |
 344 LL | fn check<T: Impossible>(_: T) {}
 345    |             ---------- required by this bound in `check`
 346 ...
 347 LL |     check(m9::TV{});
 348    |           ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 349
 350 error[E0277]: the trait bound `fn() -> c::E {c::E::TV}: Impossible` is not satisfied
 351   --> $DIR/namespace-mix.rs:122:11
 352    |
 353 LL | fn check<T: Impossible>(_: T) {}
 354    |             ---------- required by this bound in `check`
 355 ...
 356 LL |     check(m9::TV);
 357    |           ^^^^^^ the trait `Impossible` is not implemented for `fn() -> c::E {c::E::TV}`
 358
 359 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
 360   --> $DIR/namespace-mix.rs:123:11
 361    |
 362 LL | fn check<T: Impossible>(_: T) {}
 363    |             ---------- required by this bound in `check`
 364 ...
 365 LL |     check(mA::TV{});
 366    |           ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
 367
 368 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 369   --> $DIR/namespace-mix.rs:124:11
 370    |
 371 LL | fn check<T: Impossible>(_: T) {}
 372    |             ---------- required by this bound in `check`
 373 ...
 374 LL |     check(mA::TV);
 375    |           ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 376
 377 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 378   --> $DIR/namespace-mix.rs:127:11
 379    |
 380 LL | fn check<T: Impossible>(_: T) {}
 381    |             ---------- required by this bound in `check`
 382 ...
 383 LL |     check(xm9::TV{});
 384    |           ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 385
 386 error[E0277]: the trait bound `fn() -> namespace_mix::c::E {namespace_mix::xm7::TV}: Impossible` is not satisfied
 387   --> $DIR/namespace-mix.rs:128:11
 388    |
 389 LL | fn check<T: Impossible>(_: T) {}
 390    |             ---------- required by this bound in `check`
 391 ...
 392 LL |     check(xm9::TV);
 393    |           ^^^^^^^ the trait `Impossible` is not implemented for `fn() -> namespace_mix::c::E {namespace_mix::xm7::TV}`
 394
 395 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
 396   --> $DIR/namespace-mix.rs:129:11
 397    |
 398 LL | fn check<T: Impossible>(_: T) {}
 399    |             ---------- required by this bound in `check`
 400 ...
 401 LL |     check(xmA::TV{});
 402    |           ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
 403
 404 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 405   --> $DIR/namespace-mix.rs:130:11
 406    |
 407 LL | fn check<T: Impossible>(_: T) {}
 408    |             ---------- required by this bound in `check`
 409 ...
 410 LL |     check(xmA::TV);
 411    |           ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 412
 413 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 414   --> $DIR/namespace-mix.rs:143:11
 415    |
 416 LL | fn check<T: Impossible>(_: T) {}
 417    |             ---------- required by this bound in `check`
 418 ...
 419 LL |     check(mB::UV{});
 420    |           ^^^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 421
 422 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
 423   --> $DIR/namespace-mix.rs:144:11
 424    |
 425 LL | fn check<T: Impossible>(_: T) {}
 426    |             ---------- required by this bound in `check`
 427 ...
 428 LL |     check(mB::UV);
 429    |           ^^^^^^ the trait `Impossible` is not implemented for `c::E`
 430
 431 error[E0277]: the trait bound `c::E: Impossible` is not satisfied
 432   --> $DIR/namespace-mix.rs:145:11
 433    |
 434 LL | fn check<T: Impossible>(_: T) {}
 435    |             ---------- required by this bound in `check`
 436 ...
 437 LL |     check(mC::UV{});
 438    |           ^^^^^^^^ the trait `Impossible` is not implemented for `c::E`
 439
 440 error[E0277]: the trait bound `c::Item: Impossible` is not satisfied
 441   --> $DIR/namespace-mix.rs:146:11
 442    |
 443 LL | fn check<T: Impossible>(_: T) {}
 444    |             ---------- required by this bound in `check`
 445 ...
 446 LL |     check(mC::UV);
 447    |           ^^^^^^ the trait `Impossible` is not implemented for `c::Item`
 448
 449 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 450   --> $DIR/namespace-mix.rs:149:11
 451    |
 452 LL | fn check<T: Impossible>(_: T) {}
 453    |             ---------- required by this bound in `check`
 454 ...
 455 LL |     check(xmB::UV{});
 456    |           ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 457
 458 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
 459   --> $DIR/namespace-mix.rs:150:11
 460    |
 461 LL | fn check<T: Impossible>(_: T) {}
 462    |             ---------- required by this bound in `check`
 463 ...
 464 LL |     check(xmB::UV);
 465    |           ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
 466
 467 error[E0277]: the trait bound `namespace_mix::c::E: Impossible` is not satisfied
 468   --> $DIR/namespace-mix.rs:151:11
 469    |
 470 LL | fn check<T: Impossible>(_: T) {}
 471    |             ---------- required by this bound in `check`
 472 ...
 473 LL |     check(xmC::UV{});
 474    |           ^^^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::E`
 475
 476 error[E0277]: the trait bound `namespace_mix::c::Item: Impossible` is not satisfied
 477   --> $DIR/namespace-mix.rs:152:11
 478    |
 479 LL | fn check<T: Impossible>(_: T) {}
 480    |             ---------- required by this bound in `check`
 481 ...
 482 LL |     check(xmC::UV);
 483    |           ^^^^^^^ the trait `Impossible` is not implemented for `namespace_mix::c::Item`
 484
 485 error: aborting due to 48 previous errors
 486
 487 Some errors have detailed explanations: E0277, E0423.
 488 For more information about an error, try `rustc --explain E0277`.