1 files changed, 11 insertions, 0 deletions

diff --git a/tests/ui/const-generics/issues/issue-62878.rs b/tests/ui/const-generics/issues/issue-62878.rs
new file mode 100644
index 000000000..4c08a484e
--- /dev/null
+++ b/tests/ui/const-generics/issues/issue-62878.rs
@@ -0,0 +1,11 @@
+// revisions: full min
+#![cfg_attr(full, feature(adt_const_params, generic_arg_infer))]
+#![cfg_attr(full, allow(incomplete_features))]
+
+fn foo<const N: usize, const A: [u8; N]>() {}
+//~^ ERROR the type of const parameters must not
+//[min]~| ERROR `[u8; N]` is forbidden as the type of a const generic parameter
+
+fn main() {
+    foo::<_, { [1] }>();
+}