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 = help: const arguments cannot yet be inferred with `_`
15 error[E0308]: mismatched types
16 --> $DIR/issue-62878.rs:11:15
18 LL | foo::<_, {[1]}>();
19 | ^^^ expected `usize`, found array `[{integer}; 1]`
21 error: aborting due to 3 previous errors
23 Some errors have detailed explanations: E0308, E0747, E0770.
24 For more information about an error, try `rustc --explain E0308`.