tests/ui/const-generics/generic_arg_infer/in-signature.stderr

   1 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
   2   --> $DIR/in-signature.rs:7:21
   3    |
   4 LL | fn arr_fn() -> [u8; _] {
   5    |                -----^-
   6    |                |    |
   7    |                |    not allowed in type signatures
   8    |                help: replace with the correct return type: `[u8; 3]`
   9
  10 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
  11   --> $DIR/in-signature.rs:12:24
  12    |
  13 LL | fn ty_fn() -> Bar<i32, _> {
  14    |               ---------^-
  15    |               |        |
  16    |               |        not allowed in type signatures
  17    |               help: replace with the correct return type: `Bar<i32, 3>`
  18
  19 error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
  20   --> $DIR/in-signature.rs:17:25
  21    |
  22 LL | fn ty_fn_mixed() -> Bar<_, _> {
  23    |                     ----^--^-
  24    |                     |   |  |
  25    |                     |   |  not allowed in type signatures
  26    |                     |   not allowed in type signatures
  27    |                     help: replace with the correct return type: `Bar<i32, 3>`
  28
  29 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
  30   --> $DIR/in-signature.rs:22:15
  31    |
  32 LL | const ARR_CT: [u8; _] = [0; 3];
  33    |               ^^^^^^^ not allowed in type signatures
  34
  35 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
  36   --> $DIR/in-signature.rs:24:20
  37    |
  38 LL | static ARR_STATIC: [u8; _] = [0; 3];
  39    |                    ^^^^^^^ not allowed in type signatures
  40
  41 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
  42   --> $DIR/in-signature.rs:26:14
  43    |
  44 LL | const TY_CT: Bar<i32, _> = Bar::<i32, 3>(0);
  45    |              ^^^^^^^^^^^
  46    |              |
  47    |              not allowed in type signatures
  48    |              help: replace with the correct type: `Bar<i32, 3>`
  49
  50 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
  51   --> $DIR/in-signature.rs:28:19
  52    |
  53 LL | static TY_STATIC: Bar<i32, _> = Bar::<i32, 3>(0);
  54    |                   ^^^^^^^^^^^
  55    |                   |
  56    |                   not allowed in type signatures
  57    |                   help: replace with the correct type: `Bar<i32, 3>`
  58
  59 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
  60   --> $DIR/in-signature.rs:30:20
  61    |
  62 LL | const TY_CT_MIXED: Bar<_, _> = Bar::<i32, 3>(0);
  63    |                    ^^^^^^^^^
  64    |                    |
  65    |                    not allowed in type signatures
  66    |                    help: replace with the correct type: `Bar<i32, 3>`
  67
  68 error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
  69   --> $DIR/in-signature.rs:32:25
  70    |
  71 LL | static TY_STATIC_MIXED: Bar<_, _> = Bar::<i32, 3>(0);
  72    |                         ^^^^^^^^^
  73    |                         |
  74    |                         not allowed in type signatures
  75    |                         help: replace with the correct type: `Bar<i32, 3>`
  76
  77 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
  78   --> $DIR/in-signature.rs:35:21
  79    |
  80 LL |     const ARR: [u8; _];
  81    |                     ^ not allowed in type signatures
  82
  83 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
  84   --> $DIR/in-signature.rs:39:25
  85    |
  86 LL |     const ARR: Bar<i32, _>;
  87    |                         ^ not allowed in type signatures
  88
  89 error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
  90   --> $DIR/in-signature.rs:43:20
  91    |
  92 LL |     const ARR: Bar<_, _>;
  93    |                    ^  ^ not allowed in type signatures
  94    |                    |
  95    |                    not allowed in type signatures
  96
  97 error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
  98   --> $DIR/in-signature.rs:51:23
  99    |
 100 LL |     type Assoc = [u8; _];
 101    |                       ^ not allowed in type signatures
 102
 103 error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
 104   --> $DIR/in-signature.rs:55:27
 105    |
 106 LL |     type Assoc = Bar<i32, _>;
 107    |                           ^ not allowed in type signatures
 108
 109 error[E0121]: the placeholder `_` is not allowed within types on item signatures for associated types
 110   --> $DIR/in-signature.rs:59:22
 111    |
 112 LL |     type Assoc = Bar<_, _>;
 113    |                      ^  ^ not allowed in type signatures
 114    |                      |
 115    |                      not allowed in type signatures
 116
 117 error: aborting due to 15 previous errors
 118
 119 For more information about this error, try `rustc --explain E0121`.