LL | fn foo<const N: usize, const A: [u8; N]>() {}
| ^ the type must not depend on the parameter `N`
-error[E0107]: wrong number of const arguments: expected 2, found 1
- --> $DIR/issue-62878.rs:11:5
- |
-LL | foo::<_, {[1]}>();
- | ^^^^^^^^^^^^^^^ expected 2 const arguments
-
-error[E0107]: wrong number of type arguments: expected 0, found 1
+error[E0747]: type provided when a constant was expected
--> $DIR/issue-62878.rs:11:11
|
LL | foo::<_, {[1]}>();
- | ^ unexpected type argument
+ | ^
+ |
+ = help: const arguments cannot yet be inferred with `_`
error[E0308]: mismatched types
--> $DIR/issue-62878.rs:11:15
LL | foo::<_, {[1]}>();
| ^^^ expected `usize`, found array `[{integer}; 1]`
-error: aborting due to 4 previous errors
+error: aborting due to 3 previous errors
-Some errors have detailed explanations: E0107, E0308, E0770.
-For more information about an error, try `rustc --explain E0107`.
+Some errors have detailed explanations: E0308, E0747, E0770.
+For more information about an error, try `rustc --explain E0308`.