Rehome tests/ui/issues/ tests [1/?]

2 files changed, 34 insertions, 0 deletions

diff --git a/tests/ui/const-generics/generic-parameter-in-const-expression-39211.rs b/tests/ui/const-generics/generic-parameter-in-const-expression-39211.rs
new file mode 100644
index 00000000000..b2566e54471
--- /dev/null
+++ b/tests/ui/const-generics/generic-parameter-in-const-expression-39211.rs
@@ -0,0 +1,16 @@
+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
+    //~| ERROR constant expression depends on a generic parameter
+}
+fn main() {
+}
+
+// https://github.com/rust-lang/rust/issues/39211
diff --git a/tests/ui/const-generics/generic-parameter-in-const-expression-39211.stderr b/tests/ui/const-generics/generic-parameter-in-const-expression-39211.stderr
new file mode 100644
index 00000000000..2a80aff834a
--- /dev/null
+++ b/tests/ui/const-generics/generic-parameter-in-const-expression-39211.stderr
@@ -0,0 +1,18 @@
+error: constant expression depends on a generic parameter
+  --> $DIR/generic-parameter-in-const-expression-39211.rs:9:17
+   |
+LL |     let a = [3; M::Row::DIM];
+   |                 ^^^^^^^^^^^
+   |
+   = note: this may fail depending on what value the parameter takes
+
+error: constant expression depends on a generic parameter
+  --> $DIR/generic-parameter-in-const-expression-39211.rs:9:13
+   |
+LL |     let a = [3; M::Row::DIM];
+   |             ^^^^^^^^^^^^^^^^
+   |
+   = note: this may fail depending on what value the parameter takes
+
+error: aborting due to 2 previous errors
+