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[E0747]: type provided when a constant was expected
8 --> $DIR/issue-62878.rs:11:11
10 LL | foo::<_, {[1]}>();
13 error[E0308]: mismatched types
14 --> $DIR/issue-62878.rs:11:15
16 LL | foo::<_, {[1]}>();
17 | ^^^ expected `usize`, found array `[{integer}; 1]`
19 error: aborting due to 3 previous errors
21 Some errors have detailed explanations: E0308, E0747, E0770.
22 For more information about an error, try `rustc --explain E0308`.