1 error[E0770]: the type of const parameters must not depend on other generic parameters
2 --> $DIR/issue-62878.rs:6:38
4 LL | fn foo<const N: usize, const A: [u8; N]>() {}
5 | ^ the type must not depend on the parameter `N`
7 error[E0107]: wrong number of const arguments: expected 2, found 1
8 --> $DIR/issue-62878.rs:11:5
10 LL | foo::<_, {[1]}>();
11 | ^^^^^^^^^^^^^^^ expected 2 const arguments
13 error[E0107]: wrong number of type arguments: expected 0, found 1
14 --> $DIR/issue-62878.rs:11:11
16 LL | foo::<_, {[1]}>();
17 | ^ unexpected type argument
19 error[E0308]: mismatched types
20 --> $DIR/issue-62878.rs:11:15
22 LL | foo::<_, {[1]}>();
23 | ^^^ expected `usize`, found array `[{integer}; 1]`
25 error: aborting due to 4 previous errors
27 Some errors have detailed explanations: E0107, E0308, E0770.
28 For more information about an error, try `rustc --explain E0107`.