1 files changed, 13 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-39211.rs b/src/test/ui/issues/issue-39211.rs
new file mode 100644
index 000000000..6f3834d51
--- /dev/null
+++ b/src/test/ui/issues/issue-39211.rs
@@ -0,0 +1,13 @@
+trait VecN {
+    const DIM: usize;
+}
+trait Mat {
+    type Row: VecN;
+}
+
+fn m<M: Mat>() {
+    let a = [3; M::Row::DIM];
+    //~^ ERROR constant expression depends on a generic parameter
+}
+fn main() {
+}